Erin is blue. Erin is green. Erin is smart. If Erin is red and Erin is blue then Erin is quiet. All blue, smart people are quiet. If Erin is green then Erin is smart. If Erin is quiet and Erin is kind then Erin is green. Blue people are kind. All kind, smart people are red. If Erin is green then Erin is smart. If Erin is quiet then Erin is smart.
Erin is blue.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2 OR ((((triple1 triple3) -> rule2) ((triple1) -> rule5)) -> rule4) OR ((((((((triple1) -> rule5) triple3) -> rule6) triple1) -> rule1) ((triple1) -> rule5)) -> rule4))] Erin is smart.[(triple3 OR ((triple2) -> rule3) OR ((triple2) -> rule7))] @1: Erin is kind.[(((triple1) -> rule5))] Erin is quiet.[(((triple1 triple3) -> rule2) OR ((triple1 ((triple2) -> rule3)) -> rule2) OR ((triple1 ((triple2) -> rule7)) -> rule2) OR ((((((triple1) -> rule5) triple3) -> rule6) triple1) -> rule1) OR ((((((triple1) -> rule5) ((triple2) -> rule3)) -> rule6) triple1) -> rule1) OR ((((((triple1) -> rule5) ((triple2) -> rule7)) -> rule6) triple1) -> rule1))] @2: Erin is red.[(((((triple1) -> rule5) triple3) -> rule6) OR ((((triple1) -> rule5) ((triple2) -> rule3)) -> rule6) OR ((((triple1) -> rule5) ((triple2) -> rule7)) -> rule6))]