The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle visits the cow. The cow sees the mouse. The dog sees the mouse. The mouse chases the cow. The mouse is kind. The mouse is nice. The mouse sees the dog. The mouse visits the bald eagle. The mouse visits the dog. If something chases the cow and it sees the cow then the cow sees the dog. If something is nice then it visits the cow. If something chases the dog then it is cold. If something is nice then it chases the bald eagle. If something sees the cow then it is rough. If something sees the bald eagle then it is cold. All cold things are kind. If something chases the bald eagle then it chases the dog. If something is cold and it sees the dog then it sees the cow.
The bald eagle is big.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow sees the mouse.[(triple4)] The dog sees the mouse.[(triple5)] The mouse chases the cow.[(triple6)] The mouse is kind.[(triple7 OR ((((((((triple8) -> rule4)) -> rule8)) -> rule3)) -> rule7))] The mouse is nice.[(triple8)] The mouse sees the dog.[(triple9)] The mouse visits the bald eagle.[(triple10)] The mouse visits the dog.[(triple11)] @1: The mouse chases the bald eagle.[(((triple8) -> rule4))] The mouse visits the cow.[(((triple8) -> rule2))] @2: The mouse chases the dog.[(((((triple8) -> rule4)) -> rule8))] @3: The mouse is cold.[(((((((triple8) -> rule4)) -> rule8)) -> rule3))] @4: The mouse sees the cow.[(((((((((triple8) -> rule4)) -> rule8)) -> rule3) triple9) -> rule9))] @5: The cow sees the dog.[(((triple6 ((((((((triple8) -> rule4)) -> rule8)) -> rule3) triple9) -> rule9)) -> rule1))] The mouse is rough.[(((((((((((triple8) -> rule4)) -> rule8)) -> rule3) triple9) -> rule9)) -> rule5))]