The bald eagle is green. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle needs the mouse. The cat is nice. The cat is not round. The cat needs the bald eagle. The cat needs the mouse. The cat sees the mouse. The cat sees the squirrel. The mouse is not big. The mouse likes the bald eagle. The mouse sees the bald eagle. The squirrel is big. The squirrel sees the cat. If something needs the bald eagle then the bald eagle does not need the cat. If something is young and it sees the cat then it is big. If the cat is nice then the cat is young. If something is young then it sees the cat. If something is big and it needs the mouse then the mouse does not see the cat. If something sees the cat then the cat likes the squirrel.
The squirrel is not nice.
@0: The bald eagle is green.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the mouse.[(triple4)] The cat is nice.[(triple5)] The cat is not round.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat needs the mouse.[(triple8)] The cat sees the mouse.[(triple9)] The cat sees the squirrel.[(triple10)] The mouse is not big.[(triple11)] The mouse likes the bald eagle.[(triple12)] The mouse sees the bald eagle.[(triple13)] The squirrel is big.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The bald eagle does not need the cat.[(((triple7) -> rule1))] The bald eagle sees the cat.[(((triple2) -> rule4))] The cat is young.[(((triple5) -> rule3))] The cat likes the squirrel.[(((triple15) -> rule6) OR ((((triple2) -> rule4)) -> rule6) OR ((((((triple5) -> rule3)) -> rule4)) -> rule6))] @2: The bald eagle is big.[(((triple2 ((triple2) -> rule4)) -> rule2))] The cat sees the cat.[(((((triple5) -> rule3)) -> rule4))] @3: The cat is big.[(((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule4)) -> rule2))] The mouse does not see the cat.[(((((triple2 ((triple2) -> rule4)) -> rule2) triple4) -> rule5) OR ((((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule4)) -> rule2) triple8) -> rule5))]