Anne is not big. Dave is red. Fiona is not cold. Gary is not cold. Gary is quiet. Gary is red. Gary is white. All white things are not young. All white, nice things are not young. All young, white things are cold. Cold things are nice. If something is quiet and white then it is nice. If Dave is young then Dave is cold.
Anne is not nice.
@0: Anne is not big.[(triple1)] Dave is red.[(triple2)] Fiona is not cold.[(triple3)] Gary is not cold.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Gary is nice.[(((triple5 triple7) -> rule5))] Gary is not young.[(((triple7) -> rule1) OR ((triple7 ((triple5 triple7) -> rule5)) -> rule2))]