Anne is furry. Anne is green. Bob is rough. Bob is smart. Bob is young. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is smart. All green people are furry. Cold people are rough.
Harry is not rough.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple9) -> rule1))] Harry is green.[(triple9)] Harry is smart.[(triple10)] @1: Harry is rough.[(((triple7) -> rule2))]