The dog chases the squirrel. The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is round. The dog sees the squirrel. The dog sees the tiger. The squirrel chases the dog. The squirrel chases the tiger. The squirrel is kind. The squirrel is round. The tiger eats the dog. If the dog chases the squirrel then the squirrel sees the dog. All round people are kind.
The tiger sees the dog.
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog eats the tiger.[(triple3)] The dog is big.[(triple4)] The dog is round.[(triple5)] The dog sees the squirrel.[(triple6)] The dog sees the tiger.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel is kind.[(triple10 OR ((triple11) -> rule2))] The squirrel is round.[(triple11)] The tiger eats the dog.[(triple12)] @1: The dog is kind.[(((triple5) -> rule2))] The squirrel sees the dog.[(((triple1) -> rule1))]