Anne is furry. Bob is smart. Charlie is white. Dave is furry. All green, smart things are red. If Anne is white and Anne is cold then Anne is furry. If something is cold and green then it is white. Round things are smart. If Anne is furry then Anne is white. Red, round things are cold. If something is white then it is round. All smart, round things are cold.
Charlie is round.
@0: Anne is furry.[(triple1)] Bob is smart.[(triple2)] Charlie is white.[(triple3)] Dave is furry.[(triple4)] @1: Anne is white.[(((triple1) -> rule5))] Charlie is round.[(((triple3) -> rule7))] @2: Anne is round.[(((((triple1) -> rule5)) -> rule7))] Charlie is smart.[(((((triple3) -> rule7)) -> rule4))] @3: Anne is smart.[(((((((triple1) -> rule5)) -> rule7)) -> rule4))] Charlie is cold.[(((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule8))] @4: Anne is cold.[(((((((((triple1) -> rule5)) -> rule7)) -> rule4) ((((triple1) -> rule5)) -> rule7)) -> rule8))]