Erin is kind. Erin is not round. Erin is white. All kind people are green. If someone is round and not furry then they are red. If someone is green and not round then they are red. Kind people are white. All furry people are white. If Erin is kind and Erin is green then Erin is red. If someone is red then they are blue. If someone is red and not green then they are blue.
Erin is blue.
@0: Erin is kind.[(triple1)] Erin is not round.[(triple2)] Erin is white.[(triple3 OR ((triple1) -> rule4))] @1: Erin is green.[(((triple1) -> rule1))] @2: Erin is red.[(((triple1 ((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1) triple2) -> rule3))] @3: Erin is blue.[(((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule7) OR ((((((triple1) -> rule1) triple2) -> rule3)) -> rule7))]