The squirrel is big. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel is young. If something is green then it is big. If the squirrel is young then the squirrel is big. If something is rough and big then it is green.
The squirrel is round.
@0: The squirrel is big.[(triple1 OR ((triple2) -> rule1) OR ((triple5) -> rule2))] The squirrel is green.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple5) -> rule2)) -> rule3))] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)]