Anne is rough. Bob is not green. Dave is quiet. Fiona is green. If something is smart then it is not furry. All young, blue things are not furry. All blue, smart things are not furry. If Fiona is smart and Fiona is furry then Fiona is young. If something is young then it is smart. If Anne is not green and Anne is not quiet then Anne is not furry. All furry, quiet things are not rough. If something is green then it is young.
Bob is smart.
@0: Anne is rough.[(triple1)] Bob is not green.[(triple2)] Dave is quiet.[(triple3)] Fiona is green.[(triple4)] @1: Fiona is young.[(((triple4) -> rule8))] @2: Fiona is smart.[(((((triple4) -> rule8)) -> rule5))] @3: Fiona is not furry.[(((((((triple4) -> rule8)) -> rule5)) -> rule1))]