The cat chases the rabbit. The cat is cold. The cat is round. The cat likes the cow. The cat likes the rabbit. The cat visits the cow. The cat visits the rabbit. The cow chases the cat. The cow is blue. The cow is red. The rabbit chases the cow. The rabbit visits the cow. If someone is red and they chase the cat then they are cold.
The cow is not red.
@0: The cat chases the rabbit.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The cat likes the cow.[(triple4)] The cat likes the rabbit.[(triple5)] The cat visits the cow.[(triple6)] The cat visits the rabbit.[(triple7)] The cow chases the cat.[(triple8)] The cow is blue.[(triple9)] The cow is red.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The cow is cold.[(((triple10 triple8) -> rule1))]