The cow is not cold. The lion likes the cow. The lion needs the rabbit. The rabbit likes the squirrel. The rabbit does not need the cow. The squirrel chases the cow. The squirrel is big. The squirrel is kind. The squirrel needs the cow. The squirrel needs the rabbit. Young, big things are cold. If something is kind then it chases the cow. If something is cold then it likes the lion.
The lion likes the squirrel.
@0: The cow is not cold.[(triple1)] The lion likes the cow.[(triple2)] The lion needs the rabbit.[(triple3)] The rabbit does not need the cow.[(triple5)] The rabbit likes the squirrel.[(triple4)] The squirrel chases the cow.[(triple6 OR ((triple8) -> rule2))] The squirrel is big.[(triple7)] The squirrel is kind.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel needs the rabbit.[(triple10)]