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