Bob is big. Bob is not kind. Bob is rough. Bob is smart. Bob is not young. Harry is green. Harry is young. If Bob is young and Bob is not green then Bob is cold. If something is big then it is smart. All green things are not smart. If something is rough and green then it is not kind. If something is green and big then it is not kind. All smart things are rough. All kind things are rough. If something is young and not smart then it is rough.
Harry is smart.
@0: Bob is big.[(triple1)] Bob is not kind.[(triple2)] Bob is not young.[(triple5)] Bob is rough.[(triple3 OR ((triple4) -> rule6) OR ((((triple1) -> rule2)) -> rule6))] Bob is smart.[(triple4 OR ((triple1) -> rule2))] Harry is green.[(triple6)] Harry is young.[(triple7)] @1: Harry is not smart.[(((triple6) -> rule3))] @2: Harry is rough.[(((triple7 ((triple6) -> rule3)) -> rule8))] @3: Harry is not kind.[(((((triple7 ((triple6) -> rule3)) -> rule8) triple6) -> rule4))]