The bald eagle needs the tiger. The bald eagle sees the dog. The cat eats the bald eagle. The cat is red. The cat needs the dog. The cat sees the dog. The dog eats the bald eagle. The dog eats the cat. The dog is blue. The dog needs the cat. The tiger eats the cat. The tiger is red. If the cat needs the bald eagle then the bald eagle eats the tiger. If the cat sees the bald eagle and the cat needs the tiger then the cat is big. If someone sees the dog then they are cold. If someone needs the dog then they need the tiger. If someone needs the cat then the cat sees the tiger. If someone needs the dog and they see the tiger then the tiger needs the cat. If someone sees the cat and the cat is young then they are red. If the cat is blue then the cat is cold.
The cat does not see the tiger.
@0: The bald eagle needs the tiger.[(triple1)] The bald eagle sees the dog.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is red.[(triple4)] The cat needs the dog.[(triple5)] The cat sees the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the cat.[(triple8)] The dog is blue.[(triple9)] The dog needs the cat.[(triple10)] The tiger eats the cat.[(triple11)] The tiger is red.[(triple12)] @1: The bald eagle is cold.[(((triple2) -> rule3))] The cat is cold.[(((triple6) -> rule3))] The cat needs the tiger.[(((triple5) -> rule4))] The cat sees the tiger.[(((triple10) -> rule5))] @2: The tiger needs the cat.[(((triple5 ((triple10) -> rule5)) -> rule6))]