Anne is furry. Dave is rough. Fiona is round. All furry people are young. All big people are red. If someone is red then they are kind. If someone is rough then they are red. If Fiona is furry then Fiona is kind. If someone is kind then they are round.
Anne is not young.
@0: Anne is furry.[(triple1)] Dave is rough.[(triple2)] Fiona is round.[(triple3)] @1: Anne is young.[(((triple1) -> rule1))] Dave is red.[(((triple2) -> rule4))] @2: Dave is kind.[(((((triple2) -> rule4)) -> rule3))] @3: Dave is round.[(((((((triple2) -> rule4)) -> rule3)) -> rule6))]