The bear chases the cow. The bear is cold. The bear likes the cat. The cat likes the cow. The cow chases the bear. The cow is red. The cow visits the cat. The squirrel is cold. The squirrel is red. The squirrel visits the bear. If something likes the cat then the cat is cold.
The cat is big.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear likes the cat.[(triple3)] The cat likes the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is red.[(triple6)] The cow visits the cat.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The cat is cold.[(((triple3) -> rule1))]