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