The cat chases the squirrel. The cat eats the lion. The cat is cold. The cat is kind. The cat likes the squirrel. The lion is cold. The squirrel chases the cat. The squirrel chases the lion. The squirrel eats the lion. The squirrel is blue. All cold, green people are blue. If someone likes the squirrel then the squirrel likes the cat. If someone eats the squirrel then the squirrel is green.
The lion is not blue.
@0: The cat chases the squirrel.[(triple1)] The cat eats the lion.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat likes the squirrel.[(triple5)] The lion is cold.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is blue.[(triple10)] @1: The squirrel likes the cat.[(((triple5) -> rule2))]