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