The squirrel is big. The squirrel is blue. The squirrel is young. Big, blue people are kind. If the squirrel is nice then the squirrel is young. If someone is big and young then they are kind. If someone is big and kind then they are blue. Big people are young. If someone is big and kind then they are young.
The squirrel is not young.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple1 ((triple1 triple3) -> rule3)) -> rule4) OR ((triple1 ((triple1 ((triple1) -> rule5)) -> rule3)) -> rule4))] The squirrel is young.[(triple3 OR ((triple1) -> rule5) OR ((triple1 ((triple1 triple2) -> rule1)) -> rule6))] @1: The squirrel is kind.[(((triple1 triple2) -> rule1) OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple1) -> rule5)) -> rule3))]