Bob is big. Bob is red. Dave is red. Dave is round. Gary is big. Gary is cold. Harry is cold. If Harry is red then Harry is round. All big people are cold.
Dave is not cold.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6 OR ((triple5) -> rule2))] Harry is cold.[(triple7)] @1: Bob is cold.[(((triple1) -> rule2))]