The cat is green. The lion is round. The squirrel is blue. The tiger is round. If someone likes the squirrel then they are blue. If someone needs the squirrel and the squirrel eats the cat then the squirrel needs the cat. If someone is green then they are kind. If someone needs the squirrel then the squirrel eats the tiger. If someone likes the squirrel then the squirrel eats the cat. If someone is kind then they like the squirrel.
The squirrel is not kind.
@0: The cat is green.[(triple1)] The lion is round.[(triple2)] The squirrel is blue.[(triple3)] The tiger is round.[(triple4)] @1: The cat is kind.[(((triple1) -> rule3))] @2: The cat likes the squirrel.[(((((triple1) -> rule3)) -> rule6))] @3: The cat is blue.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))] The squirrel eats the cat.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))]