Bob is young. Dave is big. Dave is cold. Dave is young. Harry is big. Harry is kind. Harry is white. Kind, rough people are young. If someone is young then they are cold.
Harry is kind.
@0: Bob is young.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3 OR ((triple4) -> rule2))] Dave is young.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Bob is cold.[(((triple1) -> rule2))]