Anne is rough. Bob is round. Furry things are cold. If Bob is round then Bob is smart. Smart things are not furry. Round, nice things are not furry. Round, smart things are nice. If something is smart and round then it is nice. If something is nice then it is rough. Young things are round.
Bob is smart.
@0: Anne is rough.[(triple1)] Bob is round.[(triple2)] @1: Bob is smart.[(((triple2) -> rule2))] @2: Bob is nice.[(((triple2 ((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule2) triple2) -> rule6))] Bob is not furry.[(((((triple2) -> rule2)) -> rule3) OR ((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) OR ((triple2 ((((triple2) -> rule2) triple2) -> rule6)) -> rule4))] @3: Bob is rough.[(((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule6)) -> rule7))]