The cat is cold. The cat is kind. The cat is red. The cat is rough. The cat is round. The cat likes the squirrel. The cat needs the squirrel. The cat visits the squirrel. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the cat. The squirrel needs the cat. The squirrel visits the cat. If something needs the squirrel then it visits the cat. If something visits the squirrel then it likes the cat. If something needs the cat then the cat needs the squirrel.
The cat is kind.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat likes the squirrel.[(triple6)] The cat needs the squirrel.[(triple7 OR ((triple14) -> rule3))] The cat visits the squirrel.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The cat likes the cat.[(((triple8) -> rule2))] The cat visits the cat.[(((triple7) -> rule1) OR ((((triple14) -> rule3)) -> rule1))]