The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is not nice. The squirrel is rough. All nice people are kind. Big, kind people are green. If someone is kind then they are rough. If someone is kind and big then they are rough. If someone is nice and not kind then they are big. If the squirrel is big and the squirrel is not green then the squirrel is rough.
The squirrel eats the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple1 triple3) -> rule2))] The squirrel is kind.[(triple3)] The squirrel is not nice.[(triple4)] The squirrel is rough.[(triple5 OR ((triple3) -> rule3) OR ((triple3 triple1) -> rule4))]