Anne is white. Bob is smart. Dave is smart. If someone is rough and furry then they are big. All white people are big. All smart, rough people are big. All white people are furry. Rough people are cold. Furry people are cold. All smart, cold people are rough. White, cold people are rough.
Dave is furry.
@0: Anne is white.[(triple1)] Bob is smart.[(triple2)] Dave is smart.[(triple3)] @1: Anne is big.[(((triple1) -> rule2) OR ((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule8) ((triple1) -> rule4)) -> rule1))] Anne is furry.[(((triple1) -> rule4))] @2: Anne is cold.[(((((triple1) -> rule4)) -> rule6))] @3: Anne is rough.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule8))]