The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is round. If the squirrel is kind then the squirrel is blue. Blue people are green. If someone is round and green then they are blue.
The squirrel eats the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple4) -> rule1) OR ((triple5 triple3) -> rule3))] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3 OR ((triple1) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The squirrel is kind.[(triple4)] The squirrel is round.[(triple5)]