Anne is kind. Anne is round. Fiona is blue. Fiona is young. Gary is cold. Gary is rough. Gary is round. If Anne is round then Anne is kind. All young things are cold.
Gary is cold.
@0: Anne is kind.[(triple1 OR ((triple2) -> rule1))] Anne is round.[(triple2)] Fiona is blue.[(triple3)] Fiona is young.[(triple4)] Gary is cold.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Fiona is cold.[(((triple4) -> rule2))]