Dave is cold. Dave is round. Dave is white. Erin is red. Fiona is cold. Harry is not cold. Harry is round. If something is round and not cold then it is kind. All green, cold things are big.
Harry is red.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] Erin is red.[(triple4)] Fiona is cold.[(triple5)] Harry is not cold.[(triple6)] Harry is round.[(triple7)] @1: Harry is kind.[(((triple7 triple6) -> rule1))]