The bald eagle is big. The bald eagle sees the squirrel. The dog eats the mouse. The dog is not cold. The dog is not nice. The dog visits the mouse. The mouse is red. The squirrel sees the bald eagle. The squirrel visits the bald eagle. The squirrel visits the dog. If something sees the mouse then it visits the mouse. If something eats the dog then it visits the mouse. If something eats the squirrel then it visits the mouse. If something visits the dog then the dog visits the bald eagle. If something is big and it visits the mouse then the mouse visits the squirrel. If something visits the bald eagle then the bald eagle sees the mouse. If something is big then it visits the bald eagle. If something visits the squirrel then it is big. If something eats the bald eagle and it sees the squirrel then it does not see the bald eagle.
The mouse does not visit the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The dog eats the mouse.[(triple3)] The dog is not cold.[(triple4)] The dog is not nice.[(triple5)] The dog visits the mouse.[(triple6)] The mouse is red.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The bald eagle sees the mouse.[(((triple9) -> rule6) OR ((((triple1) -> rule7)) -> rule6) OR ((((triple10) -> rule4)) -> rule6))] The bald eagle visits the bald eagle.[(((triple1) -> rule7))] The dog visits the bald eagle.[(((triple10) -> rule4))] @2: The bald eagle visits the mouse.[(((((triple9) -> rule6)) -> rule1) OR ((((((triple1) -> rule7)) -> rule6)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6)) -> rule1))] @3: The mouse visits the squirrel.[(((triple1 ((((triple9) -> rule6)) -> rule1)) -> rule5) OR ((triple1 ((((((triple1) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((triple1 ((((((triple10) -> rule4)) -> rule6)) -> rule1)) -> rule5))] @4: The mouse is big.[(((((triple1 ((((triple9) -> rule6)) -> rule1)) -> rule5)) -> rule8) OR ((((triple1 ((((((triple1) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule8) OR ((((triple1 ((((((triple10) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule8))] @5: The mouse visits the bald eagle.[(((((((triple1 ((((triple9) -> rule6)) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((((((triple1 ((((((triple1) -> rule7)) -> rule6)) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((((((triple1 ((((((triple10) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule8)) -> rule7))]