The cat chases the dog. The cat chases the squirrel. The cat eats the dog. The dog chases the squirrel. The dog is kind. The dog is round. The dog sees the squirrel. The squirrel chases the cat. The squirrel chases the dog. The squirrel eats the tiger. The squirrel is kind. The squirrel is red. The squirrel sees the tiger. The tiger chases the dog. The tiger is round. If something sees the squirrel then it eats the squirrel. If something is round then it sees the squirrel.
The cat is round.
@0: The cat chases the dog.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the dog.[(triple3)] The dog chases the squirrel.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog sees the squirrel.[(triple7 OR ((triple6) -> rule2))] The squirrel chases the cat.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel eats the tiger.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel sees the tiger.[(triple13)] The tiger chases the dog.[(triple14)] The tiger is round.[(triple15)] @1: The dog eats the squirrel.[(((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] The tiger sees the squirrel.[(((triple15) -> rule2))] @2: The tiger eats the squirrel.[(((((triple15) -> rule2)) -> rule1))]