The cat is cold. The cat is kind. The cat is nice. The cat is rough. The cat is not round. The cat likes the squirrel. The cat needs the squirrel. The cat sees the squirrel. The squirrel is cold. The squirrel is not kind. The squirrel is nice. The squirrel is rough. The squirrel likes the cat. The squirrel needs the cat. The squirrel sees the cat. If someone is nice then they like the squirrel. If someone is kind then they like the squirrel. If someone is round and nice then they like the squirrel. If the cat sees the squirrel and the squirrel likes the cat then the cat is rough. If the cat is nice then the cat likes the squirrel. If someone is kind and nice then they need the squirrel.
The squirrel does not need the squirrel.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is not round.[(triple5)] The cat is rough.[(triple4 OR ((triple8 triple13) -> rule4))] The cat likes the squirrel.[(triple6 OR ((triple2) -> rule2) OR ((triple3) -> rule1) OR ((triple3) -> rule5))] The cat needs the squirrel.[(triple7 OR ((triple2 triple3) -> rule6))] The cat sees the squirrel.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple11)] The squirrel is not kind.[(triple10)] The squirrel is rough.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The squirrel likes the squirrel.[(((triple11) -> rule1))]