Erin is green. Fiona is nice. Harry is kind. All young, green things are white. Kind things are green. All blue things are young. Kind things are not red. All green things are blue. If something is red then it is kind.
Erin is red.
@0: Erin is green.[(triple1)] Fiona is nice.[(triple2)] Harry is kind.[(triple3)] @1: Erin is blue.[(((triple1) -> rule5))] Harry is green.[(((triple3) -> rule2))] Harry is not red.[(((triple3) -> rule4))] @2: Erin is young.[(((((triple1) -> rule5)) -> rule3))] Harry is blue.[(((((triple3) -> rule2)) -> rule5))] @3: Erin is white.[(((((((triple1) -> rule5)) -> rule3) triple1) -> rule1))] Harry is young.[(((((((triple3) -> rule2)) -> rule5)) -> rule3))] @4: Harry is white.[(((((((((triple3) -> rule2)) -> rule5)) -> rule3) ((triple3) -> rule2)) -> rule1))]