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