The cow chases the dog. The cow does not chase the squirrel. The cow is kind. The cow is young. The dog chases the cow. The dog is round. The dog likes the tiger. The squirrel eats the dog. The squirrel is green. The squirrel does not like the tiger. The tiger eats the dog. The tiger is red. If the tiger chases the squirrel then the tiger likes the dog. If something is kind and it does not eat the dog then the dog is young. If something chases the squirrel then it likes the tiger. If something is young then it likes the tiger. If something is red and it eats the dog then the dog is red. If something likes the tiger and the tiger eats the dog then it is green. If something likes the tiger then it chases the tiger. If something is green then it eats the cow.
The dog is not round.
@0: The cow chases the dog.[(triple1)] The cow does not chase the squirrel.[(triple2)] The cow is kind.[(triple3)] The cow is young.[(triple4)] The dog chases the cow.[(triple5)] The dog is round.[(triple6)] The dog likes the tiger.[(triple7)] The squirrel does not like the tiger.[(triple10)] The squirrel eats the dog.[(triple8)] The squirrel is green.[(triple9)] The tiger eats the dog.[(triple11)] The tiger is red.[(triple12)] @1: The cow likes the tiger.[(((triple4) -> rule4))] The dog chases the tiger.[(((triple7) -> rule7))] The dog is green.[(((triple7 triple11) -> rule6))] The dog is red.[(((triple12 triple11) -> rule5))] The squirrel eats the cow.[(((triple9) -> rule8))] @2: The cow chases the tiger.[(((((triple4) -> rule4)) -> rule7))] The cow is green.[(((((triple4) -> rule4) triple11) -> rule6))] The dog eats the cow.[(((((triple7 triple11) -> rule6)) -> rule8))] @3: The cow eats the cow.[(((((((triple4) -> rule4) triple11) -> rule6)) -> rule8))]