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.
Dave is not smart.
@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))]