The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is rough. If something is blue then it is big. Rough things are blue.
The squirrel is not big.
@0: The squirrel is big.[(triple1 OR ((triple2) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] The squirrel is blue.[(triple2 OR ((triple5) -> rule2))] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is rough.[(triple5)]