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