The cat chases the squirrel. The cat eats the squirrel. The squirrel chases the cat. If someone chases the cat then the cat needs the squirrel. If someone eats the squirrel then they are nice. All rough people are not nice. If someone chases the squirrel then they eat the cat. If someone is red and they chase the squirrel then they need the cat. If someone eats the cat and the cat chases the squirrel then the squirrel is nice. If someone eats the cat then the cat is kind. If someone eats the squirrel and the squirrel chases the cat then they need the squirrel.
The squirrel is not kind.
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The squirrel chases the cat.[(triple3)] @1: The cat eats the cat.[(((triple1) -> rule4))] The cat is nice.[(((triple2) -> rule2))] The cat needs the squirrel.[(((triple3) -> rule1) OR ((triple2 triple3) -> rule8))] @2: The cat is kind.[(((((triple1) -> rule4)) -> rule7))] The squirrel is nice.[(((((triple1) -> rule4) triple1) -> rule6))]