The cat chases the lion. The cat is red. The cat needs the squirrel. The lion chases the cat. The lion chases the squirrel. The lion is cold. The lion is kind. The lion is rough. The lion needs the cat. The lion does not visit the squirrel. The squirrel is rough. The squirrel needs the cat. Rough things are kind. If something is cold and it does not chase the squirrel then the squirrel is rough.
The lion does not need the cat.
@0: The cat chases the lion.[(triple1)] The cat is red.[(triple2)] The cat needs the squirrel.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not visit the squirrel.[(triple10)] The lion is cold.[(triple6)] The lion is kind.[(triple7 OR ((triple8) -> rule1))] The lion is rough.[(triple8)] The lion needs the cat.[(triple9)] The squirrel is rough.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The squirrel is kind.[(((triple11) -> rule1))]