The bald eagle is green. The bald eagle is kind. The bald eagle visits the cat. The cat eats the tiger. The cat is blue. The cat visits the bald eagle. The cat visits the tiger. The mouse likes the tiger. The tiger likes the cat. The tiger visits the cat. If the bald eagle is round and the bald eagle is big then the bald eagle is green. If something is blue then it likes the mouse.
The bald eagle does not like the mouse.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat eats the tiger.[(triple4)] The cat is blue.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the tiger.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger likes the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat likes the mouse.[(((triple5) -> rule2))]