Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Big people are kind. All furry, quiet people are green. All big people are furry.
Charlie is blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple1) -> rule3))] Charlie is green.[(triple4 OR ((triple3 triple6) -> rule2) OR ((((triple1) -> rule3) triple6) -> rule2))] Charlie is kind.[(triple5 OR ((triple1) -> rule1))] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7)]