Bob is kind. Bob is round. Bob is smart. Bob is white. Bob is not young. Harry is cold. Harry is not smart. All white people are round. If someone is cold then they are white.
Harry is not young.
@0: Bob is kind.[(triple1)] Bob is not young.[(triple5)] Bob is round.[(triple2 OR ((triple4) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Harry is cold.[(triple6)] Harry is not smart.[(triple7)] @1: Harry is white.[(((triple6) -> rule2))] @2: Harry is round.[(((((triple6) -> rule2)) -> rule1))]