The cat is cold. The cat is kind. The cat is nice. The cat is not red. The cat likes the squirrel. The cat needs the squirrel. The cat sees the squirrel. The squirrel is cold. The squirrel is nice. The squirrel likes the cat. The squirrel needs the cat. The squirrel sees the cat. If something needs the cat then it is cold. If the cat is young and the squirrel does not need the cat then the squirrel is red. If something needs the cat then it sees the cat. If something is red then it likes the cat. If something sees the squirrel and it does not see the cat then it does not like the cat. If something sees the squirrel and the squirrel likes the cat then it likes the squirrel.
The cat does not like the squirrel.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is not red.[(triple4)] The cat likes the squirrel.[(triple5 OR ((triple7 triple10) -> rule6))] The cat needs the squirrel.[(triple6)] The cat sees the squirrel.[(triple7)] The squirrel is cold.[(triple8 OR ((triple11) -> rule1))] The squirrel is nice.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel sees the cat.[(triple12 OR ((triple11) -> rule3))]