Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. All rough, quiet things are round. If something is furry then it is nice. All green things are furry.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule3))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple6 triple5) -> rule1))]