Charlie is blue. Charlie is quiet. Charlie is round. If something is quiet and green then it is white. If something is green and white then it is blue. If something is green then it is white. If Charlie is white then Charlie is nice. If Charlie is cold then Charlie is quiet. All round, blue things are green.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is green.[(((triple3 triple1) -> rule6))] @2: Charlie is white.[(((((triple3 triple1) -> rule6)) -> rule3) OR ((triple2 ((triple3 triple1) -> rule6)) -> rule1))] @3: Charlie is nice.[(((((((triple3 triple1) -> rule6)) -> rule3)) -> rule4) OR ((((triple2 ((triple3 triple1) -> rule6)) -> rule1)) -> rule4))]