The cat chases the squirrel. The cat is cold. The cat is red. The cat likes the squirrel. The cat sees the squirrel. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel likes the cat. The squirrel sees the cat. If the cat is cold and the cat likes the squirrel then the squirrel is kind. If the cat sees the squirrel and the squirrel does not chase the cat then the squirrel is kind. If someone sees the cat and the cat chases the squirrel then the cat likes the squirrel. If someone likes the cat and they see the cat then the cat sees the squirrel. If someone is kind then they do not like the squirrel. If someone chases the cat and they do not chase the squirrel then they like the cat.
The squirrel does not like the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is cold.[(triple2)] The cat is red.[(triple3)] The cat likes the squirrel.[(triple4 OR ((triple10 triple1) -> rule3))] The cat sees the squirrel.[(triple5 OR ((triple9 triple10) -> rule4))] The squirrel is cold.[(triple6)] The squirrel is kind.[(triple7 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple10 triple1) -> rule3)) -> rule1))] The squirrel is red.[(triple8)] The squirrel likes the cat.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The squirrel does not like the squirrel.[(((triple7) -> rule5) OR ((((triple2 triple4) -> rule1)) -> rule5) OR ((((triple2 ((triple10 triple1) -> rule3)) -> rule1)) -> rule5))]