Dave is round. Fiona is quiet. Rough, round things are quiet. Round things are furry. If something is round and furry then it is kind. All cold things are round. If Fiona is cold then Fiona is big. If Fiona is rough then Fiona is big.
Dave is not furry.
@0: Dave is round.[(triple1)] Fiona is quiet.[(triple2)] @1: Dave is furry.[(((triple1) -> rule2))] @2: Dave is kind.[(((triple1 ((triple1) -> rule2)) -> rule3))]