The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. All nice, kind people are rough. Kind, round people are nice.
The squirrel does not eat the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2 triple5) -> rule2))] The squirrel is rough.[(triple4 OR ((triple3 triple2) -> rule1) OR ((((triple2 triple5) -> rule2) triple2) -> rule1))] The squirrel is round.[(triple5)]