The bald eagle needs the dog. The cow chases the dog. The cow is not red. The cow sees the dog. The dog chases the bald eagle. The dog chases the cow. The dog is big. The dog is rough. The dog needs the bald eagle. The dog sees the cow. All big things are kind. If something needs the dog then the dog needs the cow. If something sees the bald eagle then it chases the dog. If something is rough then it does not see the dog. If the dog needs the cow then the dog sees the bald eagle. If something sees the bald eagle then the bald eagle chases the cow.
The bald eagle is kind.
@0: The bald eagle needs the dog.[(triple1)] The cow chases the dog.[(triple2)] The cow is not red.[(triple3)] The cow sees the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the cow.[(triple6)] The dog is big.[(triple7)] The dog is rough.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog sees the cow.[(triple10)] @1: The dog does not see the dog.[(((triple8) -> rule4))] The dog is kind.[(((triple7) -> rule1))] The dog needs the cow.[(((triple1) -> rule2))] @2: The dog sees the bald eagle.[(((((triple1) -> rule2)) -> rule5))] @3: The bald eagle chases the cow.[(((((((triple1) -> rule2)) -> rule5)) -> rule6))] The dog chases the dog.[(((((((triple1) -> rule2)) -> rule5)) -> rule3))]