Charlie is big. Charlie is blue. Dave is red. Fiona is big. Fiona is white. Gary is cold. Gary is red. If something is cold then it is not round.
Fiona is cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Dave is red.[(triple3)] Fiona is big.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is red.[(triple7)] @1: Gary is not round.[(((triple6) -> rule1))]