Anne is round. Charlie is round. Fiona is young. Gary is blue. All green, round people are red. Young people are red. All green people are blue. If Charlie is round then Charlie is cold. If Gary is young and Gary is big then Gary is green. If Charlie is round and Charlie is green then Charlie is big. Red people are not cold. Round, red people are big.
Anne is cold.
@0: Anne is round.[(triple1)] Charlie is round.[(triple2)] Fiona is young.[(triple3)] Gary is blue.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule4))] Fiona is red.[(((triple3) -> rule2))] @2: Fiona is not cold.[(((((triple3) -> rule2)) -> rule7))]