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