Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Smart people are quiet. Furry, smart people are green. Smart, quiet people are big.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3))] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple2 triple7) -> rule2))] Charlie is quiet.[(triple4 OR ((triple7) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]