The cow eats the squirrel. The cow is cold. The cow sees the dog. The cow visits the lion. The dog eats the lion. The dog is young. The dog sees the cow. The dog sees the lion. The lion is young. The lion sees the squirrel. The lion visits the squirrel. The squirrel is nice. The squirrel is young. The squirrel sees the cow. The squirrel sees the lion. If something is cold and red then it eats the squirrel. If something visits the dog then it sees the squirrel. If something eats the squirrel and it visits the squirrel then it visits the dog. If the dog sees the squirrel and the squirrel eats the dog then the squirrel is cold. If something sees the dog then the dog eats the lion. If something eats the squirrel then the squirrel is nice.
The squirrel is not cold.
@0: The cow eats the squirrel.[(triple1)] The cow is cold.[(triple2)] The cow sees the dog.[(triple3)] The cow visits the lion.[(triple4)] The dog eats the lion.[(triple5 OR ((triple3) -> rule5))] The dog is young.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the lion.[(triple8)] The lion is young.[(triple9)] The lion sees the squirrel.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel is nice.[(triple12 OR ((triple1) -> rule6))] The squirrel is young.[(triple13)] The squirrel sees the cow.[(triple14)] The squirrel sees the lion.[(triple15)]