The cat is not red. The cat does not like the dog. The dog chases the cat. The dog chases the squirrel. The dog eats the cat. The dog is not cold. The dog is red. The dog likes the cat. The dog likes the squirrel. The squirrel eats the cat. The squirrel is not blue. The squirrel is red. If someone chases the dog then they are round. If someone is red then they chase the dog. If someone chases the dog and they do not chase the squirrel then they eat the cat. If someone chases the squirrel then the squirrel does not chase the cat. If someone chases the cat and the cat does not chase the squirrel then they are cold. If someone likes the cat then they are green. If someone likes the dog then they eat the dog. If someone chases the dog and they are not cold then they like the dog.
The cat does not eat the cat.
@0: The cat does not like the dog.[(triple2)] The cat is not red.[(triple1)] The dog chases the cat.[(triple3)] The dog chases the squirrel.[(triple4)] The dog eats the cat.[(triple5)] The dog is not cold.[(triple6)] The dog is red.[(triple7)] The dog likes the cat.[(triple8)] The dog likes the squirrel.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is not blue.[(triple11)] The squirrel is red.[(triple12)] @1: The dog chases the dog.[(((triple7) -> rule2))] The dog is green.[(((triple8) -> rule6))] The squirrel chases the dog.[(((triple12) -> rule2))] The squirrel does not chase the cat.[(((triple4) -> rule4))] @2: The dog is round.[(((((triple7) -> rule2)) -> rule1))] The dog likes the dog.[(((((triple7) -> rule2) triple6) -> rule8))] The squirrel is round.[(((((triple12) -> rule2)) -> rule1))] @3: The dog eats the dog.[(((((((triple7) -> rule2) triple6) -> rule8)) -> rule7))]