Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Gary is blue. Blue things are quiet. If Gary is red then Gary is blue. If something is quiet then it is green. If something is blue and green then it is red. If Charlie is big and Charlie is round then Charlie is kind. If something is kind and not big then it is round. If something is kind and not blue then it is round. If something is green and not quiet then it is round.
Gary is not green.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2 OR ((triple4) -> rule3))] Charlie is kind.[(triple3 OR ((triple1 triple6) -> rule5))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Gary is blue.[(triple7)] @1: Gary is quiet.[(((triple7) -> rule1))] @2: Gary is green.[(((((triple7) -> rule1)) -> rule3))] @3: Gary is red.[(((triple7 ((((triple7) -> rule1)) -> rule3)) -> rule4))]