The bald eagle is round. The cat is nice. The cat is rough. The cat needs the dog. The dog does not like the tiger. The dog needs the cat. The dog needs the tiger. The tiger chases the bald eagle. The tiger is rough. The tiger needs the dog. If something needs the cat then the cat likes the bald eagle. If something needs the tiger then the tiger is not round. If something needs the cat and the cat does not chase the bald eagle then the cat does not need the dog. If something is red then it likes the bald eagle. If something is round then it chases the tiger. If something chases the cat then it is round. If something likes the tiger then the tiger does not like the bald eagle. If something is round and it does not chase the dog then it is young.
The dog is not round.
@0: The bald eagle is round.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The cat needs the dog.[(triple4)] The dog does not like the tiger.[(triple5)] The dog needs the cat.[(triple6)] The dog needs the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the dog.[(triple10)] @1: The bald eagle chases the tiger.[(((triple1) -> rule5))] The cat likes the bald eagle.[(((triple6) -> rule1))] The tiger is not round.[(((triple7) -> rule2))]