Charlie is big. Charlie is rough. Charlie is young. All quiet, green things are red. All big things are furry. Big things are rough.
Charlie is not young.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2 OR ((triple1) -> rule3))] Charlie is young.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule2))]