Charlie is red. Charlie is white. Fiona is green. Gary is red. Gary is white. Harry is kind. Harry is not quiet. If Gary is quiet and Gary is red then Gary is cold. If something is quiet and not white then it is nice. If something is green and kind then it is nice. If something is kind and not red then it is green. Red, kind things are green. If something is red then it is quiet. If Charlie is nice then Charlie is cold. Cold, quiet things are kind.
Gary is not kind.
@0: Charlie is red.[(triple1)] Charlie is white.[(triple2)] Fiona is green.[(triple3)] Gary is red.[(triple4)] Gary is white.[(triple5)] Harry is kind.[(triple6)] Harry is not quiet.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule6))] Gary is quiet.[(((triple4) -> rule6))] @2: Gary is cold.[(((((triple4) -> rule6) triple4) -> rule1))] @3: Gary is kind.[(((((((triple4) -> rule6) triple4) -> rule1) ((triple4) -> rule6)) -> rule8))] @4: Gary is green.[(((triple4 ((((((triple4) -> rule6) triple4) -> rule1) ((triple4) -> rule6)) -> rule8)) -> rule5))] @5: Gary is nice.[(((((triple4 ((((((triple4) -> rule6) triple4) -> rule1) ((triple4) -> rule6)) -> rule8)) -> rule5) ((((((triple4) -> rule6) triple4) -> rule1) ((triple4) -> rule6)) -> rule8)) -> rule3))]