Anne is quiet. Dave is furry. Fiona is young. If Anne is furry and Anne is rough then Anne is quiet. Quiet people are young. If someone is rough then they are smart. Smart, green people are furry. If someone is young then they are rough. Furry people are white. If someone is quiet and smart then they are green. All smart people are rough.
Anne is not young.
@0: Anne is quiet.[(triple1)] Dave is furry.[(triple2)] Fiona is young.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] Dave is white.[(((triple2) -> rule6))] Fiona is rough.[(((triple3) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule5))] Fiona is smart.[(((((triple3) -> rule5)) -> rule3))] @3: Anne is smart.[(((((((triple1) -> rule2)) -> rule5)) -> rule3))] @4: Anne is green.[(((triple1 ((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule7))] @5: Anne is furry.[(((((((((triple1) -> rule2)) -> rule5)) -> rule3) ((triple1 ((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule7)) -> rule4))] @6: Anne is white.[(((((((((((triple1) -> rule2)) -> rule5)) -> rule3) ((triple1 ((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule7)) -> rule4)) -> rule6))]