Anne is kind. Bob is cold. Bob is smart. Erin is red. Erin is smart. Erin is young. Fiona is white. If Fiona is young and Fiona is kind then Fiona is cold. If someone is red then they are green. If Fiona is smart then Fiona is kind. All red, green people are white. Cold people are green. All green people are cold. Red, cold people are green. White people are kind.
Anne is kind.
@0: Anne is kind.[(triple1)] Bob is cold.[(triple2)] Bob is smart.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6)] Fiona is white.[(triple7)] @1: Bob is green.[(((triple2) -> rule5))] Erin is green.[(((triple4) -> rule2))] Fiona is kind.[(((triple7) -> rule8))] @2: Erin is cold.[(((((triple4) -> rule2)) -> rule6))] Erin is white.[(((triple4 ((triple4) -> rule2)) -> rule4))] @3: Erin is kind.[(((((triple4 ((triple4) -> rule2)) -> rule4)) -> rule8))]