The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is young. If the squirrel is green then the squirrel is young. All young people are big.
The squirrel is blue.
@0: The squirrel is big.[(triple1 OR ((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is young.[(triple5 OR ((triple3) -> rule1))]