The cat is not nice. The squirrel eats the cat. The squirrel sees the cat. All round people are young. If the cat is blue then the cat sees the squirrel. If someone eats the cat then the cat sees the squirrel. If someone is blue and young then they need the squirrel. If the cat sees the squirrel then the cat needs the squirrel. If someone needs the squirrel then they need the cat. If someone eats the squirrel and they are young then they see the cat. If someone eats the squirrel and the squirrel needs the cat then they are not nice.
The squirrel is not blue.
@0: The cat is not nice.[(triple1)] The squirrel eats the cat.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat sees the squirrel.[(((triple2) -> rule3))] @2: The cat needs the squirrel.[(((((triple2) -> rule3)) -> rule5))] @3: The cat needs the cat.[(((((((triple2) -> rule3)) -> rule5)) -> rule6))]