Anne is cold. Bob is smart. Bob is young. If someone is smart then they are rough. All rough, cold people are nice. If someone is round and rough then they are young. All young, rough people are cold. All round people are cold. Rough, young people are round.
Bob is young.
@0: Anne is cold.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] @1: Bob is rough.[(((triple2) -> rule1))] @2: Bob is cold.[(((triple3 ((triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule1) triple3) -> rule6)) -> rule5))] Bob is round.[(((((triple2) -> rule1) triple3) -> rule6))] @3: Bob is nice.[(((((triple2) -> rule1) ((triple3 ((triple2) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule1) ((((((triple2) -> rule1) triple3) -> rule6)) -> rule5)) -> rule2))]