Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is white. Erin is young. If Erin is green then Erin is white. If something is quiet and white then it is nice. All red, young things are nice. All nice, green things are red. All green, rough things are quiet. If something is rough and young then it is nice.
Erin is not green.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2 OR ((triple3 triple6) -> rule2) OR ((triple4 triple7) -> rule3) OR ((triple5 triple7) -> rule6) OR ((triple3 ((triple1) -> rule1)) -> rule2) OR ((((triple1 triple5) -> rule5) triple6) -> rule2) OR ((((triple1 triple5) -> rule5) ((triple1) -> rule1)) -> rule2))] Erin is quiet.[(triple3 OR ((triple1 triple5) -> rule5))] Erin is red.[(triple4 OR ((triple2 triple1) -> rule4) OR ((((triple3 triple6) -> rule2) triple1) -> rule4) OR ((((triple5 triple7) -> rule6) triple1) -> rule4) OR ((((triple3 ((triple1) -> rule1)) -> rule2) triple1) -> rule4) OR ((((((triple1 triple5) -> rule5) triple6) -> rule2) triple1) -> rule4) OR ((((((triple1 triple5) -> rule5) ((triple1) -> rule1)) -> rule2) triple1) -> rule4))] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple1) -> rule1))] Erin is young.[(triple7)]