The cat chases the cow. The cat eats the mouse. The cat likes the mouse. The cow chases the cat. The cow eats the mouse. The cow is big. The cow is cold. The cow is round. The cow likes the cat. The mouse eats the cow. The mouse is cold. The mouse likes the cow. All cold things are blue.
The cat is not blue.
@0: The cat chases the cow.[(triple1)] The cat eats the mouse.[(triple2)] The cat likes the mouse.[(triple3)] The cow chases the cat.[(triple4)] The cow eats the mouse.[(triple5)] The cow is big.[(triple6)] The cow is cold.[(triple7)] The cow is round.[(triple8)] The cow likes the cat.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the cow.[(triple12)] @1: The cow is blue.[(((triple7) -> rule1))] The mouse is blue.[(((triple11) -> rule1))]