Anne is blue. Anne is white. Fiona is big. Fiona is cold. Gary is blue. Harry is big. Harry is cold. If Harry is kind and Harry is green then Harry is blue. Quiet things are blue. If something is big and kind then it is cold. All quiet, kind things are white. If something is big then it is white. All kind, cold things are quiet. If something is green and blue then it is quiet. If Fiona is quiet then Fiona is kind.
Gary is kind.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4)] Gary is blue.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is white.[(((triple3) -> rule5))] Harry is white.[(((triple6) -> rule5))]