The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle is big. The bald eagle is red. The bald eagle is young. The bald eagle visits the cow. The bald eagle visits the dog. The cow chases the bald eagle. The cow is big. The cow is not nice. The cow visits the bald eagle. The dog chases the bald eagle. The dog is big. The dog is nice. The dog is not red. The dog does not like the cow. If the dog is nice and the dog visits the cow then the dog likes the bald eagle. If something visits the bald eagle and it is big then the bald eagle is kind. If something is red then it chases the bald eagle. If something is young then it is kind. If something is young and red then it is kind. If something is nice then it is young.
The cow is not young.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle visits the cow.[(triple6)] The bald eagle visits the dog.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is big.[(triple9)] The cow is not nice.[(triple10)] The cow visits the bald eagle.[(triple11)] The dog chases the bald eagle.[(triple12)] The dog does not like the cow.[(triple16)] The dog is big.[(triple13)] The dog is nice.[(triple14)] The dog is not red.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule3))] The bald eagle is kind.[(((triple5) -> rule4) OR ((triple11 triple9) -> rule2) OR ((triple5 triple4) -> rule5))] The dog is young.[(((triple14) -> rule6))] @2: The dog is kind.[(((((triple14) -> rule6)) -> rule4))]