The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. All green things are cold. If something is big and not blue then it is cold. If the squirrel is big then the squirrel is green.
The squirrel is green.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3 OR ((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The squirrel is green.[(triple4 OR ((triple1) -> rule3))] The squirrel is round.[(triple5)]