Anne is rough. Charlie is furry. Dave is cold. Gary is big. All white things are smart. White things are smart. Cold, furry things are white. Cold things are furry. All furry, smart things are rough. All round things are smart.
Gary is not cold.
@0: Anne is rough.[(triple1)] Charlie is furry.[(triple2)] Dave is cold.[(triple3)] Gary is big.[(triple4)] @1: Dave is furry.[(((triple3) -> rule4))] @2: Dave is white.[(((triple3 ((triple3) -> rule4)) -> rule3))] @3: Dave is smart.[(((((triple3 ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule4)) -> rule3)) -> rule2))] @4: Dave is rough.[(((((triple3) -> rule4) ((((triple3 ((triple3) -> rule4)) -> rule3)) -> rule1)) -> rule5) OR ((((triple3) -> rule4) ((((triple3 ((triple3) -> rule4)) -> rule3)) -> rule2)) -> rule5))]