The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. All round, rough people are nice. Rough, nice people are big. Rough people are nice.
The squirrel chases the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2) OR ((triple4 ((triple5 triple4) -> rule1)) -> rule2))] The squirrel is nice.[(triple2 OR ((triple4) -> rule3) OR ((triple5 triple4) -> rule1))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]