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