The cow eats the dog. The cow is big. The cow is not blue. The cow is cold. The dog does not chase the cow. The dog eats the cow. The dog eats the squirrel. The dog is not cold. The squirrel chases the dog. The squirrel is big. The squirrel is blue. The squirrel is cold. If something visits the squirrel then the squirrel is not nice. If something is blue and it does not eat the cow then it does not chase the dog. If something is big then it eats the dog. If something visits the squirrel and it visits the dog then the dog is kind. If something chases the dog then the dog visits the cow. If something eats the dog then it is kind. If something visits the squirrel then it is big. If something is kind then it visits the squirrel.
The cow visits the squirrel.
@0: The cow eats the dog.[(triple1 OR ((triple2) -> rule3))] The cow is big.[(triple2 OR ((((((triple1) -> rule6)) -> rule8)) -> rule7))] The cow is cold.[(triple4)] The cow is not blue.[(triple3)] The dog does not chase the cow.[(triple5)] The dog eats the cow.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is not cold.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] @1: The cow is kind.[(((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] The dog visits the cow.[(((triple9) -> rule5))] The squirrel eats the dog.[(((triple10) -> rule3))] @2: The cow visits the squirrel.[(((((triple1) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8))] The squirrel is kind.[(((((triple10) -> rule3)) -> rule6))] @3: The squirrel is not nice.[(((((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple10) -> rule3)) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule8)) -> rule1))] The squirrel visits the squirrel.[(((((((triple10) -> rule3)) -> rule6)) -> rule8))]