The bald eagle does not eat the cat. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle likes the tiger. The cat eats the tiger. The cat is red. The cat likes the bald eagle. The cat likes the tiger. The cat needs the tiger. The dog is not round. The dog likes the bald eagle. The tiger eats the dog. The tiger needs the bald eagle. If something is red and it likes the tiger then it needs the dog. If the tiger needs the dog and the dog is green then the dog needs the tiger. All cold things are nice. If something eats the dog and the dog needs the bald eagle then the dog is nice. If something eats the cat then the cat needs the bald eagle. If something eats the cat and it needs the dog then the cat is cold. If something needs the bald eagle then it eats the cat. If the cat likes the tiger and the cat needs the dog then the dog is not cold. If the bald eagle needs the dog and the dog eats the bald eagle then the dog is not cold.
The cat is not nice.
@0: The bald eagle does not eat the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the tiger.[(triple5)] The cat eats the tiger.[(triple6)] The cat is red.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the tiger.[(triple9)] The cat needs the tiger.[(triple10)] The dog is not round.[(triple11)] The dog likes the bald eagle.[(triple12)] The tiger eats the dog.[(triple13)] The tiger needs the bald eagle.[(triple14)] @1: The cat needs the dog.[(((triple7 triple9) -> rule1))] The tiger eats the cat.[(((triple14) -> rule7))] @2: The cat needs the bald eagle.[(((((triple14) -> rule7)) -> rule5))] The dog is not cold.[(((triple9 ((triple7 triple9) -> rule1)) -> rule8))] @3: The cat eats the cat.[(((((((triple14) -> rule7)) -> rule5)) -> rule7))] @4: The cat is cold.[(((((((((triple14) -> rule7)) -> rule5)) -> rule7) ((triple7 triple9) -> rule1)) -> rule6))] @5: The cat is nice.[(((((((((((triple14) -> rule7)) -> rule5)) -> rule7) ((triple7 triple9) -> rule1)) -> rule6)) -> rule3))]