The bald eagle is blue. The bald eagle is green. The bald eagle needs the mouse. The cat likes the mouse. The cat needs the mouse. The cat needs the squirrel. The cat visits the squirrel. The mouse is blue. The mouse likes the cat. The squirrel is blue. The squirrel likes the mouse. The squirrel needs the cat. If something is green then it likes the mouse. If something needs the cat then the cat is big.
The squirrel likes the mouse.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cat likes the mouse.[(triple4)] The cat needs the mouse.[(triple5)] The cat needs the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel likes the mouse.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The bald eagle likes the mouse.[(((triple2) -> rule1))] The cat is big.[(((triple12) -> rule2))]