Bob is cold. Bob is furry. Bob is nice. Dave is blue. Dave is nice. Gary is round. Harry is round. All white things are big. All round things are nice. If something is big and round then it is cold.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5)] Gary is round.[(triple6)] Harry is round.[(triple7)] @1: Gary is nice.[(((triple6) -> rule2))] Harry is nice.[(((triple7) -> rule2))]