The bear chases the cat. The cat sees the bear. The rabbit is cold. The squirrel is young. The squirrel needs the bear. The squirrel needs the rabbit. The squirrel sees the rabbit. If something chases the bear and it is cold then it chases the cat. If something needs the rabbit and it chases the cat then it sees the bear. If something is cold and it chases the squirrel then the squirrel needs the rabbit. If something is kind then it chases the bear. If the cat chases the rabbit and the rabbit needs the bear then the bear chases the cat. If something is young then it needs the rabbit. If something chases the squirrel and the squirrel chases the bear then the squirrel sees the cat. If something needs the rabbit and the rabbit sees the cat then the cat needs the rabbit.
The rabbit is not cold.
@0: The bear chases the cat.[(triple1)] The cat sees the bear.[(triple2)] The rabbit is cold.[(triple3)] The squirrel is young.[(triple4)] The squirrel needs the bear.[(triple5)] The squirrel needs the rabbit.[(triple6 OR ((triple4) -> rule6))] The squirrel sees the rabbit.[(triple7)]