The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is cold. The cat is rough. The cat likes the mouse. The mouse visits the bald eagle. If something sees the cat and the cat is cold then the cat visits the bald eagle. If something visits the bald eagle then the bald eagle likes the cat. If something visits the cat and the cat visits the bald eagle then it visits the mouse. If something is cold then it visits the cat. If something likes the cat then the cat is rough. If something visits the mouse and the mouse likes the cat then it is rough.
The cat is cold.
@0: The bald eagle likes the cat.[(triple1 OR ((triple7) -> rule2) OR ((((triple2 triple4) -> rule1)) -> rule2))] The bald eagle sees the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5 OR ((triple1) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple2 triple4) -> rule1)) -> rule2)) -> rule5))] The cat likes the mouse.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The cat visits the bald eagle.[(((triple2 triple4) -> rule1))] The cat visits the cat.[(((triple4) -> rule4))] @2: The bald eagle visits the mouse.[(((triple3 ((triple2 triple4) -> rule1)) -> rule3))] The cat visits the mouse.[(((((triple4) -> rule4) ((triple2 triple4) -> rule1)) -> rule3))]