The bald eagle is kind. The bald eagle is nice. The bald eagle visits the mouse. The bear is kind. The bear likes the bald eagle. The bear likes the cat. The bear likes the mouse. The bear needs the bald eagle. The cat is red. The cat likes the mouse. The cat needs the bald eagle. The cat needs the bear. The cat visits the bald eagle. The mouse is red. The mouse likes the bald eagle. The mouse likes the bear. All nice things are green. If something needs the bear then it is blue. If the cat needs the bear and the cat likes the bear then the bear likes the cat. If something visits the bald eagle and it is nice then the bald eagle is nice. If something is blue and it visits the cat then the cat likes the bear. If something is red and kind then it visits the mouse.
The mouse likes the cat.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear is kind.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear likes the cat.[(triple6)] The bear likes the mouse.[(triple7)] The bear needs the bald eagle.[(triple8)] The cat is red.[(triple9)] The cat likes the mouse.[(triple10)] The cat needs the bald eagle.[(triple11)] The cat needs the bear.[(triple12)] The cat visits the bald eagle.[(triple13)] The mouse is red.[(triple14)] The mouse likes the bald eagle.[(triple15)] The mouse likes the bear.[(triple16)] @1: The bald eagle is green.[(((triple2) -> rule1))] The cat is blue.[(((triple12) -> rule2))]