The bald eagle is rough. The bald eagle is not round. The cow sees the bald eagle. The dog eats the bald eagle. The dog is kind. The dog sees the bald eagle. The dog does not see the cow. The tiger is rough. The tiger is round. The tiger visits the dog. If something is rough then it eats the dog. If something visits the cow and the cow does not see the tiger then the cow is not rough. If something is nice then it is not cold. If something eats the tiger then it is not rough. If something eats the dog then the dog is nice. If something eats the cow and it visits the bald eagle then it does not eat the tiger. If something is kind and it sees the bald eagle then it visits the dog. If something visits the tiger and it is not rough then the tiger is kind.
The cow does not eat the dog.
@0: The bald eagle is not round.[(triple2)] The bald eagle is rough.[(triple1)] The cow sees the bald eagle.[(triple3)] The dog does not see the cow.[(triple7)] The dog eats the bald eagle.[(triple4)] The dog is kind.[(triple5)] The dog sees the bald eagle.[(triple6)] The tiger is rough.[(triple8)] The tiger is round.[(triple9)] The tiger visits the dog.[(triple10)] @1: The bald eagle eats the dog.[(((triple1) -> rule1))] The dog visits the dog.[(((triple5 triple6) -> rule7))] The tiger eats the dog.[(((triple8) -> rule1))] @2: The dog is nice.[(((((triple1) -> rule1)) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] @3: The dog is not cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule1)) -> rule5)) -> rule3))]