Charlie is furry. Charlie is quiet. Dave is big. Dave is green. Dave is not red. Gary is green. Gary is round. Harry is big. Harry is quiet. Harry is red. If something is furry then it is not white. If something is furry then it is round. If something is quiet and furry then it is round.
Harry is not round.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Dave is big.[(triple3)] Dave is green.[(triple4)] Dave is not red.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7)] Harry is big.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Charlie is not white.[(((triple1) -> rule1))] Charlie is round.[(((triple1) -> rule2) OR ((triple2 triple1) -> rule3))]