The bald eagle eats the cat. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the cat. The cat eats the bald eagle. The cat is green. The cat is red. The cat likes the bald eagle. The cat visits the mouse. The mouse eats the bald eagle. The mouse is kind. The mouse is young. The mouse likes the cat. The mouse visits the bald eagle. The mouse visits the cat. If the bald eagle likes the mouse and the bald eagle visits the cat then the cat visits the bald eagle. If someone likes the cat and they eat the mouse then the mouse likes the bald eagle. If someone visits the bald eagle then they are kind. If the bald eagle likes the mouse and the mouse is young then the bald eagle visits the mouse. If someone visits the cat and the cat likes the bald eagle then the cat eats the mouse. If someone likes the cat and the cat is kind then they like the mouse.
The cat likes the mouse.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is green.[(triple6)] The cat is red.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat visits the mouse.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse is kind.[(triple11 OR ((triple14) -> rule3))] The mouse is young.[(triple12)] The mouse likes the cat.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the cat.[(triple15)] @1: The bald eagle visits the mouse.[(((triple3 triple12) -> rule4))] The cat eats the mouse.[(((triple15 triple8) -> rule5) OR ((triple4 triple8) -> rule5))] The cat visits the bald eagle.[(((triple3 triple4) -> rule1))] @2: The cat is kind.[(((((triple3 triple4) -> rule1)) -> rule3))] @3: The mouse likes the mouse.[(((triple13 ((((triple3 triple4) -> rule1)) -> rule3)) -> rule6))]