Charlie is white. Dave is blue. Dave is nice. Dave is red. Fiona is big. Gary is big. Gary is white. All big people are cold. All red, blue people are nice.
Charlie is not cold.
@0: Charlie is white.[(triple1)] Dave is blue.[(triple2)] Dave is nice.[(triple3 OR ((triple4 triple2) -> rule2))] Dave is red.[(triple4)] Fiona is big.[(triple5)] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule1))] Gary is cold.[(((triple6) -> rule1))]