The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. Young, big people are red. If someone is rough then they are nice.
The squirrel is not red.
@0: The squirrel is big.[(triple1)] The squirrel is nice.[(triple2 OR ((triple4) -> rule2))] The squirrel is red.[(triple3 OR ((triple5 triple1) -> rule1))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)]