The bald eagle chases the mouse. The bald eagle is round. The bald eagle needs the cat. The bald eagle needs the mouse. The bald eagle visits the cow. The cat visits the cow. The cow chases the cat. The cow is nice. The cow needs the bald eagle. The cow visits the bald eagle. The mouse visits the cat. If something chases the cat and it chases the cow then the cow visits the mouse. If something visits the mouse then the mouse chases the cow. If the cow is blue then the cow needs the cat. If something visits the cow and it needs the cat then the cat is blue. If something visits the mouse and it visits the bald eagle then the mouse is nice. If something is cold then it needs the mouse. If something is nice and it needs the bald eagle then it chases the cow. If the mouse chases the bald eagle then the bald eagle visits the mouse. If the mouse is nice then the mouse chases the bald eagle.
The mouse is nice.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle visits the cow.[(triple5)] The cat visits the cow.[(triple6)] The cow chases the cat.[(triple7)] The cow is nice.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow visits the bald eagle.[(triple10)] The mouse visits the cat.[(triple11)] @1: The cat is blue.[(((triple5 triple3) -> rule4))] The cow chases the cow.[(((triple8 triple9) -> rule7))] @2: The cow visits the mouse.[(((triple7 ((triple8 triple9) -> rule7)) -> rule1))] @3: The mouse chases the cow.[(((((triple7 ((triple8 triple9) -> rule7)) -> rule1)) -> rule2) OR ((((((((((triple7 ((triple8 triple9) -> rule7)) -> rule1) triple10) -> rule5)) -> rule9)) -> rule8)) -> rule2))] The mouse is nice.[(((((triple7 ((triple8 triple9) -> rule7)) -> rule1) triple10) -> rule5))] @4: The mouse chases the bald eagle.[(((((((triple7 ((triple8 triple9) -> rule7)) -> rule1) triple10) -> rule5)) -> rule9))] @5: The bald eagle visits the mouse.[(((((((((triple7 ((triple8 triple9) -> rule7)) -> rule1) triple10) -> rule5)) -> rule9)) -> rule8))]