The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle does not eat the cat. The bald eagle eats the dog. The cat does not chase the bald eagle. The cat eats the bald eagle. The cat is young. The cat sees the bald eagle. The cat sees the tiger. The dog chases the cat. The dog eats the bald eagle. The dog is blue. The tiger chases the bald eagle. The tiger chases the cat. If something is young then it does not chase the cat. If the cat chases the tiger then the tiger is nice. Nice things are big. If something chases the dog and the dog eats the bald eagle then it is nice. If something is big and it chases the cat then the cat chases the dog.
The cat is not big.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle does not eat the cat.[(triple3)] The bald eagle eats the dog.[(triple4)] The cat does not chase the bald eagle.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is young.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the tiger.[(triple9)] The dog chases the cat.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog is blue.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger chases the cat.[(triple14)] @1: The bald eagle is nice.[(((triple2 triple11) -> rule4))] The cat does not chase the cat.[(((triple7) -> rule1))] @2: The bald eagle is big.[(((((triple2 triple11) -> rule4)) -> rule3))] @3: The cat chases the dog.[(((((((triple2 triple11) -> rule4)) -> rule3) triple1) -> rule5))] @4: The cat is nice.[(((((((((triple2 triple11) -> rule4)) -> rule3) triple1) -> rule5) triple11) -> rule4))] @5: The cat is big.[(((((((((((triple2 triple11) -> rule4)) -> rule3) triple1) -> rule5) triple11) -> rule4)) -> rule3))]