Charlie is cold. Dave is big. Fiona is kind. Gary is green. Big things are not cold. If Dave is furry and Dave is nice then Dave is not big. Big things are green. If Gary is kind then Gary is not green. If something is red then it is furry. All nice, cold things are red.
Charlie is furry.
@0: Charlie is cold.[(triple1)] Dave is big.[(triple2)] Fiona is kind.[(triple3)] Gary is green.[(triple4)] @1: Dave is green.[(((triple2) -> rule3))] Dave is not cold.[(((triple2) -> rule1))]