Anne is kind. Erin is blue. Fiona is round. Gary is kind. All rough, blue people are furry. All nice people are round. All round people are kind. If someone is round then they are big. If someone is kind and big then they are blue. All blue, big people are nice.
Fiona is nice.
@0: Anne is kind.[(triple1)] Erin is blue.[(triple2)] Fiona is round.[(triple3)] Gary is kind.[(triple4)] @1: Fiona is big.[(((triple3) -> rule4))] Fiona is kind.[(((triple3) -> rule3))] @2: Fiona is blue.[(((((triple3) -> rule3) ((triple3) -> rule4)) -> rule5))] @3: Fiona is nice.[(((((((triple3) -> rule3) ((triple3) -> rule4)) -> rule5) ((triple3) -> rule4)) -> rule6))]