The cat is green. The cat is kind. The cat is red. The cat likes the squirrel. The cat sees the squirrel. The cat does not visit the squirrel. The squirrel is blue. The squirrel is green. The squirrel is not round. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the cat. If someone visits the cat and they are not round then the cat likes the squirrel. If someone is red then they like the cat. If someone is kind then they visit the cat. If someone sees the cat then they are blue. If someone visits the squirrel and the squirrel likes the cat then the squirrel sees the cat. If someone visits the cat and they are red then they see the cat. If someone is round then they do not see the cat. If the squirrel visits the cat and the squirrel does not see the cat then the cat is green.
The squirrel likes the cat.
@0: The cat does not visit the squirrel.[(triple6)] The cat is green.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat likes the squirrel.[(triple4 OR ((triple12 triple9) -> rule1))] The cat sees the squirrel.[(triple5)] The squirrel is blue.[(triple7 OR ((triple11) -> rule4))] The squirrel is green.[(triple8)] The squirrel is not round.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel sees the cat.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat likes the cat.[(((triple3) -> rule2))] The cat visits the cat.[(((triple2) -> rule3))] @2: The cat sees the cat.[(((((triple2) -> rule3) triple3) -> rule6))] @3: The cat is blue.[(((((((triple2) -> rule3) triple3) -> rule6)) -> rule4))]