Dave is cold. Erin is round. Fiona is blue. White people are blue. Round, kind people are blue. Furry people are kind. All white people are furry. All round people are white. All kind people are green. If Dave is not kind and Dave is not white then Dave is green. If Fiona is not white then Fiona is not green.
Fiona is green.
@0: Dave is cold.[(triple1)] Erin is round.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is white.[(((triple2) -> rule5))] @2: Erin is blue.[(((((triple2) -> rule5)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2))] Erin is furry.[(((((triple2) -> rule5)) -> rule4))] @3: Erin is kind.[(((((((triple2) -> rule5)) -> rule4)) -> rule3))] @4: Erin is green.[(((((((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule6))]