Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. White things are round. If something is round and big then it is furry.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple5 triple1) -> rule2) OR ((((triple7) -> rule1) triple1) -> rule2))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5 OR ((triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]