Fiona is nice. Gary is round. If someone is round then they are furry. All round, nice people are young. If someone is red and nice then they are young. All big people are young. Round people are nice. Furry people are red. All nice, big people are red. If someone is furry and big then they are blue.
Gary is not blue.
@0: Fiona is nice.[(triple1)] Gary is round.[(triple2)] @1: Gary is furry.[(((triple2) -> rule1))] Gary is nice.[(((triple2) -> rule5))] @2: Gary is red.[(((((triple2) -> rule1)) -> rule6))] Gary is young.[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule1)) -> rule6) ((triple2) -> rule5)) -> rule3))]