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