Dave is kind. Fiona is quiet. If someone is red then they are round. If someone is round and red then they are young. All kind, furry people are quiet. If someone is kind then they are round. All round people are furry. All red, quiet people are kind. If someone is blue then they are young. Quiet, red people are young.
Dave is quiet.
@0: Dave is kind.[(triple1)] Fiona is quiet.[(triple2)] @1: Dave is round.[(((triple1) -> rule4))] @2: Dave is furry.[(((((triple1) -> rule4)) -> rule5))] @3: Dave is quiet.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule3))]