Dave is furry. Fiona is nice. Gary is round. If someone is round and not young then they are smart. All nice, young people are smart. If someone is kind and round then they are furry. If someone is smart then they are furry. All round people are kind. If someone is furry then they are not blue.
Fiona is blue.
@0: Dave is furry.[(triple1)] Fiona is nice.[(triple2)] Gary is round.[(triple3)] @1: Dave is not blue.[(((triple1) -> rule6))] Gary is kind.[(((triple3) -> rule5))] @2: Gary is furry.[(((((triple3) -> rule5) triple3) -> rule3))] @3: Gary is not blue.[(((((((triple3) -> rule5) triple3) -> rule3)) -> rule6))]