Anne is smart. Bob is red. Dave is smart. Fiona is green. If something is round then it is red. Red things are smart. If Anne is young and Anne is red then Anne is furry. All smart things are round. Red things are furry. All red things are round.
Fiona is not round.
@0: Anne is smart.[(triple1)] Bob is red.[(triple2)] Dave is smart.[(triple3)] Fiona is green.[(triple4)] @1: Anne is round.[(((triple1) -> rule4))] Bob is furry.[(((triple2) -> rule5))] Bob is round.[(((triple2) -> rule6) OR ((((triple2) -> rule2)) -> rule4))] Bob is smart.[(((triple2) -> rule2))] Dave is round.[(((triple3) -> rule4))] @2: Anne is red.[(((((triple1) -> rule4)) -> rule1))] Dave is red.[(((((triple3) -> rule4)) -> rule1))] @3: Anne is furry.[(((((((triple1) -> rule4)) -> rule1)) -> rule5))] Dave is furry.[(((((((triple3) -> rule4)) -> rule1)) -> rule5))]