Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is smart. All quiet people are blue. If someone is cold and blue then they are round. All quiet, nice people are cold. All green people are blue. If Erin is green and Erin is quiet then Erin is blue. All blue people are cold.
Erin is quiet.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule4) OR ((triple5) -> rule1) OR ((triple3 triple5) -> rule5))] Erin is cold.[(triple2 OR ((triple1) -> rule6) OR ((triple5 triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule5)) -> rule6))] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple3) -> rule4)) -> rule2) OR ((triple2 ((triple5) -> rule1)) -> rule2) OR ((triple2 ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple1) -> rule6) triple1) -> rule2) OR ((((triple5 triple4) -> rule3) triple1) -> rule2) OR ((((triple1) -> rule6) ((triple3) -> rule4)) -> rule2) OR ((((triple1) -> rule6) ((triple5) -> rule1)) -> rule2) OR ((((triple1) -> rule6) ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple5 triple4) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule3) ((triple5) -> rule1)) -> rule2) OR ((((triple5 triple4) -> rule3) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) triple1) -> rule2) OR ((((((triple5) -> rule1)) -> rule6) triple1) -> rule2) OR ((((((triple3 triple5) -> rule5)) -> rule6) triple1) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule4)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) ((triple5) -> rule1)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule1)) -> rule6) ((triple3) -> rule4)) -> rule2) OR ((((((triple5) -> rule1)) -> rule6) ((triple5) -> rule1)) -> rule2) OR ((((((triple5) -> rule1)) -> rule6) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule5)) -> rule6) ((triple3) -> rule4)) -> rule2) OR ((((((triple3 triple5) -> rule5)) -> rule6) ((triple5) -> rule1)) -> rule2) OR ((((((triple3 triple5) -> rule5)) -> rule6) ((triple3 triple5) -> rule5)) -> rule2))] Erin is smart.[(triple7)]