The bear is cold. The bear sees the cow. The bear visits the squirrel. The cow chases the lion. The cow is green. The lion is cold. The lion is green. The lion sees the bear. The lion visits the squirrel. The squirrel visits the cow. If the lion is round and the lion is cold then the lion visits the squirrel. If something chases the lion then it is big.
The squirrel is not big.
@0: The bear is cold.[(triple1)] The bear sees the cow.[(triple2)] The bear visits the squirrel.[(triple3)] The cow chases the lion.[(triple4)] The cow is green.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7)] The lion sees the bear.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cow is big.[(((triple4) -> rule2))]