The cat chases the squirrel. The cat chases the tiger. The cat eats the rabbit. The cat sees the rabbit. The rabbit chases the squirrel. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit eats the tiger. The squirrel chases the tiger. The squirrel eats the rabbit. The squirrel is round. The tiger is round. If something sees the squirrel then it chases the cat. If something eats the rabbit then the rabbit sees the squirrel. If something eats the tiger and the tiger sees the cat then the cat chases the squirrel. If something is red and it sees the rabbit then it sees the squirrel. If something is green then it is kind. If something sees the cat and it sees the rabbit then it chases the rabbit. If something is blue and kind then it eats the tiger. If something chases the cat then it is kind.
The tiger does not chase the cat.
@0: The cat chases the squirrel.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the rabbit.[(triple3)] The cat sees the rabbit.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit eats the cat.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit eats the tiger.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is round.[(triple11)] The tiger is round.[(triple12)] @1: The rabbit sees the squirrel.[(((triple10) -> rule2) OR ((triple3) -> rule2))] @2: The rabbit chases the cat.[(((((triple10) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] @3: The rabbit is kind.[(((((((triple10) -> rule2)) -> rule1)) -> rule8) OR ((((((triple3) -> rule2)) -> rule1)) -> rule8))]