Erin is young. If something is nice then it is red. All round things are nice. All young things are nice. If something is nice then it is green. If Erin is young then Erin is nice. If Erin is kind then Erin is nice. Blue, green things are round. All young, kind things are green.
Erin is young.
@0: Erin is young.[(triple1)] @1: Erin is nice.[(((triple1) -> rule3) OR ((triple1) -> rule5))] @2: Erin is green.[(((((triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] Erin is red.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule5)) -> rule1))]