Charlie is furry. Dave is quiet. Fiona is green. Gary is young. If Fiona is round then Fiona is quiet. If someone is quiet and round then they are young. All young, quiet people are round. If someone is young and round then they are quiet. If Dave is furry then Dave is green. All quiet people are rough. If someone is green then they are round. All furry, quiet people are green.
Dave is not rough.
@0: Charlie is furry.[(triple1)] Dave is quiet.[(triple2)] Fiona is green.[(triple3)] Gary is young.[(triple4)] @1: Dave is rough.[(((triple2) -> rule6))] Fiona is round.[(((triple3) -> rule7))] @2: Fiona is quiet.[(((((triple3) -> rule7)) -> rule1))] @3: Fiona is rough.[(((((((triple3) -> rule7)) -> rule1)) -> rule6))] Fiona is young.[(((((((triple3) -> rule7)) -> rule1) ((triple3) -> rule7)) -> rule2))]