The bald eagle eats the cat. The bald eagle eats the mouse. The bald eagle is kind. The bald eagle likes the cat. The bald eagle needs the squirrel. The cat eats the bald eagle. The cat is big. The cat likes the bald eagle. The cat likes the squirrel. The cat needs the mouse. The mouse is green. The mouse is kind. The mouse is rough. The mouse likes the cat. The squirrel eats the bald eagle. The squirrel is green. If the mouse likes the squirrel and the squirrel is kind then the mouse needs the cat. If something likes the cat then the cat likes the mouse. If something needs the squirrel and it is green then it needs the mouse. If something is rough then it likes the bald eagle. If something eats the mouse then the mouse needs the cat. If something is kind and green then it likes the bald eagle.
The cat likes the squirrel.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is big.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the squirrel.[(triple9)] The cat needs the mouse.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the cat.[(triple14)] The squirrel eats the bald eagle.[(triple15)] The squirrel is green.[(triple16)] @1: The cat likes the mouse.[(((triple14) -> rule2) OR ((triple4) -> rule2))] The mouse likes the bald eagle.[(((triple13) -> rule4) OR ((triple12 triple11) -> rule6))] The mouse needs the cat.[(((triple2) -> rule5))]