Bob is big. Bob is green. Bob is smart. Dave is blue. Dave is not round. Harry is cold. Harry is not green. If someone is white and big then they are green. All blue people are big. If someone is white and not cold then they are blue.
Harry is green.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Dave is blue.[(triple4)] Dave is not round.[(triple5)] Harry is cold.[(triple6)] Harry is not green.[(triple7)] @1: Dave is big.[(((triple4) -> rule2))]