Anne is kind. Anne is nice. Dave is green. Dave is kind. Fiona is green. Gary is blue. Gary is round. All green people are quiet. All nice, young people are blue. If someone is round and blue then they are young. Quiet people are nice. Kind people are young. If someone is kind and round then they are young.
Fiona is round.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Fiona is green.[(triple5)] Gary is blue.[(triple6)] Gary is round.[(triple7)] @1: Anne is young.[(((triple1) -> rule5))] Dave is quiet.[(((triple3) -> rule1))] Dave is young.[(((triple4) -> rule5))] Fiona is quiet.[(((triple5) -> rule1))] Gary is young.[(((triple7 triple6) -> rule3))] @2: Anne is blue.[(((triple2 ((triple1) -> rule5)) -> rule2))] Dave is nice.[(((((triple3) -> rule1)) -> rule4))] Fiona is nice.[(((((triple5) -> rule1)) -> rule4))] @3: Dave is blue.[(((((((triple3) -> rule1)) -> rule4) ((triple4) -> rule5)) -> rule2))]