Anne is kind. Erin is nice. Fiona is white. White, kind people are big. If Erin is white and Erin is blue then Erin is nice. If someone is big and green then they are kind. White people are green. If someone is nice then they are white. If someone is white and big then they are green. All green people are blue. All round, blue people are white.
Erin is white.
@0: Anne is kind.[(triple1)] Erin is nice.[(triple2)] Fiona is white.[(triple3)] @1: Erin is white.[(((triple2) -> rule5))] Fiona is green.[(((triple3) -> rule4))] @2: Erin is green.[(((((triple2) -> rule5)) -> rule4))] Fiona is blue.[(((((triple3) -> rule4)) -> rule7))] @3: Erin is blue.[(((((((triple2) -> rule5)) -> rule4)) -> rule7))]