The cat is nice. The cat likes the squirrel. The cat needs the squirrel. The cat visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel needs the cat. The squirrel visits the cat. If someone visits the squirrel and they need the cat then the squirrel likes the cat. If someone is big and blue then they visit the squirrel. If someone likes the cat and they are red then the cat visits the squirrel.
The squirrel is kind.
@0: The cat is nice.[(triple1)] The cat likes the squirrel.[(triple2)] The cat needs the squirrel.[(triple3)] The cat visits the squirrel.[(triple4 OR ((((((triple5 triple6) -> rule2) triple9) -> rule1) triple8) -> rule3))] The squirrel is big.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel visits the cat.[(triple10)] @1: The squirrel visits the squirrel.[(((triple5 triple6) -> rule2))] @2: The squirrel likes the cat.[(((((triple5 triple6) -> rule2) triple9) -> rule1))]