The bald eagle is red. The cat is kind. The cat is young. The cat likes the bald eagle. The cat sees the bald eagle. The cat sees the cow. The cat visits the bald eagle. The cat visits the cow. The cow likes the bald eagle. The cow sees the bald eagle. The cow visits the bald eagle. The cow visits the cat. All kind things are young. If something is kind then it sees the cat. If the cat visits the bald eagle then the bald eagle is kind. If something sees the cow and it likes the cat then it visits the bald eagle. If something is young and it visits the cat then it sees the cat. If something visits the bald eagle and it is big then the bald eagle is red.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is red.[(triple1)] The cat is kind.[(triple2)] The cat is young.[(triple3 OR ((triple2) -> rule1))] The cat likes the bald eagle.[(triple4)] The cat sees the bald eagle.[(triple5)] The cat sees the cow.[(triple6)] The cat visits the bald eagle.[(triple7)] The cat visits the cow.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow sees the bald eagle.[(triple10)] The cow visits the bald eagle.[(triple11)] The cow visits the cat.[(triple12)] @1: The bald eagle is kind.[(((triple7) -> rule3))] The cat sees the cat.[(((triple2) -> rule2))] @2: The bald eagle is young.[(((((triple7) -> rule3)) -> rule1))] The bald eagle sees the cat.[(((((triple7) -> rule3)) -> rule2))]