Anne is nice. Anne is round. Anne is young. Bob is red. Bob is rough. Bob is round. Bob is smart. All young, cold people are round. All round people are smart.
Bob is smart.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple6) -> rule2))] @1: Anne is smart.[(((triple2) -> rule2))]