Here are some facts and rules:
Cold, red things are quiet.
If something is rough and not cold then it is not young.
Harry is kind.
Fiona is red.
Harry is quiet.
Fiona is cold.
Fiona is not rough.
Harry is young.
Fiona is round.
Harry is round.
Harry is rough.
Harry is red.
Does it imply that the statement "Fiona is not quiet" is True?
Reasoning: Cold, red things are quiet. We know that Fiona is cold and Fiona is red. Therefore, Fiona is quiet.

Here are some facts and rules:
If something eats the bear then it is young.
If something is nice then it eats the bear.
If something is young then it likes the cat.
If something eats the bear then the bear is young.
If the cat chases the bear then the cat is young.
If something chases the cat and the cat does not eat the bear then it is young.
If something chases the bear and it is not red then it does not like the bear.
If something chases the cat and it likes the cat then the cat is green.
the bear likes the cat.
the cat chases the bear.
Does it imply that the statement "The cat is not young" is True?
Reasoning: If the cat chases the bear then the cat is young. We know that, the cat chases the bear. Therefore, the cat is young.

Here are some facts and rules:
If something likes the lion and it is nice then it is not kind.
If something is kind then it does not eat the rabbit.
If something sees the mouse then it is not kind.
the mouse sees the lion.
the rabbit eats the lion.
the lion is kind.
the cow sees the mouse.
Does it imply that the statement "The cow is not kind" is True?
Reasoning: If something sees the mouse then it is not kind. We know that the cow sees the mouse. Therefore, the cow is not kind.

Here are some facts and rules:
Cold people are young.
Charlie is cold.
Charlie is furry.
Charlie is smart.
Does this imply that "Charlie is not young" is True?
Reasoning: Cold people are young. We know that Charlie is cold. Therefore, Charlie is young.

Here are some facts and rules:
If Erin is green then Erin is young.
All nice, cold things are big.
If something is rough then it is nice.
All big, cold things are rough.
If Erin is young and Erin is cold then Erin is nice.
White, green things are rough.
Erin is cold.
Dave is young.
Dave is nice.
Erin is big.
Erin is young.
Dave is big.
Dave is green.
Does it imply that the statement "Erin is not rough" is True?
Reasoning: All big, cold things are rough. We know that Erin is big and Erin is cold. Therefore, Erin is rough.
