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