The bald eagle is big. The bald eagle is green. The bald eagle needs the mouse. The bald eagle visits the mouse. The cat is round. The cat likes the bald eagle. The cat visits the bald eagle. The cat visits the mouse. The cow is round. The cow likes the cat. The cow visits the bald eagle. The mouse is big. The mouse is blue. The mouse does not need the bald eagle. The mouse visits the bald eagle. If someone is red then they do not need the cow. If someone is big then they need the cat. If someone needs the cat then the cat is big. If someone visits the bald eagle and the bald eagle likes the cat then the cat needs the bald eagle. If someone needs the cat then they like the cow. If someone is blue and they need the bald eagle then the bald eagle is big.
The mouse needs the cat.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the mouse.[(triple4)] The cat is round.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat visits the bald eagle.[(triple7)] The cat visits the mouse.[(triple8)] The cow is round.[(triple9)] The cow likes the cat.[(triple10)] The cow visits the bald eagle.[(triple11)] The mouse does not need the bald eagle.[(triple14)] The mouse is big.[(triple12)] The mouse is blue.[(triple13)] The mouse visits the bald eagle.[(triple15)] @1: The bald eagle needs the cat.[(((triple1) -> rule2))] The mouse needs the cat.[(((triple12) -> rule2))] @2: The bald eagle likes the cow.[(((((triple1) -> rule2)) -> rule5))] The cat is big.[(((((triple1) -> rule2)) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] The mouse likes the cow.[(((((triple12) -> rule2)) -> rule5))] @3: The cat needs the cat.[(((((((triple1) -> rule2)) -> rule3)) -> rule2) OR ((((((triple12) -> rule2)) -> rule3)) -> rule2))] @4: The cat likes the cow.[(((((((((triple1) -> rule2)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule2)) -> rule5))]