The squirrel is big. The squirrel is not green. The squirrel is kind. If the squirrel is blue then the squirrel is cold. Big people are not green. If someone is big and kind then they are blue.
The squirrel is not kind.
@0: The squirrel is big.[(triple1)] The squirrel is kind.[(triple3)] The squirrel is not green.[(triple2 OR ((triple1) -> rule2))] @1: The squirrel is blue.[(((triple1 triple3) -> rule3))] @2: The squirrel is cold.[(((((triple1 triple3) -> rule3)) -> rule1))]