The dog chases the squirrel. The dog eats the squirrel. The dog is kind. The dog is nice. The dog is not red. The dog is rough. The dog sees the squirrel. The squirrel chases the dog. The squirrel does not eat the dog. The squirrel is kind. The squirrel is rough. The squirrel sees the dog. If something eats the squirrel and the squirrel chases the dog then the dog sees the squirrel. If something sees the dog and the dog is young then the dog sees the squirrel. If something is rough then it chases the dog. If something is young and not nice then it does not chase the dog. If something sees the dog then the dog chases the squirrel. If the dog sees the squirrel then the squirrel sees the dog. If something is rough and red then it eats the dog. If something sees the dog and it does not chase the dog then it eats the dog.
The squirrel does not see the dog.
@0: The dog chases the squirrel.[(triple1 OR ((triple12) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((((triple2 triple8) -> rule1)) -> rule6)) -> rule5) OR ((((((triple2 ((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule5))] The dog eats the squirrel.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is not red.[(triple5)] The dog is rough.[(triple6)] The dog sees the squirrel.[(triple7 OR ((triple2 triple8) -> rule1) OR ((triple2 ((triple11) -> rule3)) -> rule1))] The squirrel chases the dog.[(triple8 OR ((triple11) -> rule3))] The squirrel does not eat the dog.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel sees the dog.[(triple12 OR ((triple7) -> rule6) OR ((((triple2 triple8) -> rule1)) -> rule6) OR ((((triple2 ((triple11) -> rule3)) -> rule1)) -> rule6))] @1: The dog chases the dog.[(((triple6) -> rule3))]