The bald eagle needs the cow. The bald eagle needs the mouse. The cow is round. The mouse does not visit the rabbit. The rabbit is green. The rabbit needs the bald eagle. The rabbit visits the bald eagle. If someone visits the mouse then they like the cow. If someone likes the mouse and they are blue then the mouse needs the rabbit. If someone needs the bald eagle then the bald eagle likes the rabbit. If someone needs the bald eagle then the bald eagle likes the mouse. If someone likes the cow then they are blue. If someone is red and they visit the cow then the cow is green. If someone visits the mouse then they do not visit the bald eagle. If someone is round and they need the bald eagle then the bald eagle is round. If someone visits the bald eagle and the bald eagle likes the rabbit then the bald eagle visits the mouse.
The mouse does not need the rabbit.
@0: The bald eagle needs the cow.[(triple1)] The bald eagle needs the mouse.[(triple2)] The cow is round.[(triple3)] The mouse does not visit the rabbit.[(triple4)] The rabbit is green.[(triple5)] The rabbit needs the bald eagle.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle likes the mouse.[(((triple6) -> rule4))] The bald eagle likes the rabbit.[(((triple6) -> rule3))] @2: The bald eagle visits the mouse.[(((triple7 ((triple6) -> rule3)) -> rule9))] @3: The bald eagle does not visit the bald eagle.[(((((triple7 ((triple6) -> rule3)) -> rule9)) -> rule7))] The bald eagle likes the cow.[(((((triple7 ((triple6) -> rule3)) -> rule9)) -> rule1))] @4: The bald eagle is blue.[(((((((triple7 ((triple6) -> rule3)) -> rule9)) -> rule1)) -> rule5))] @5: The mouse needs the rabbit.[(((((triple6) -> rule4) ((((((triple7 ((triple6) -> rule3)) -> rule9)) -> rule1)) -> rule5)) -> rule2))]