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