Fiona is green. Gary is round. Gary is white. Harry is green. Harry is red. Harry is round. Harry is white. If someone is white and not green then they are furry. If someone is green and white then they are big. All white, big people are not cold.
Harry is green.
@0: Fiona is green.[(triple1)] Gary is round.[(triple2)] Gary is white.[(triple3)] Harry is green.[(triple4)] Harry is red.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Harry is big.[(((triple4 triple7) -> rule2))] @2: Harry is not cold.[(((triple7 ((triple4 triple7) -> rule2)) -> rule3))]