The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is young. All big, young things are nice. All nice, young things are green. All young, big things are rough.
The squirrel does not eat the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple3 triple5) -> rule2) OR ((((triple1 triple5) -> rule1) triple5) -> rule2))] The squirrel is nice.[(triple3 OR ((triple1 triple5) -> rule1))] The squirrel is rough.[(triple4 OR ((triple5 triple1) -> rule3))] The squirrel is young.[(triple5)]