Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is round. Round things are green. Round things are white. All quiet things are green. If something is round then it is blue. Cold things are round. If Charlie is round then Charlie is quiet. If Erin is green and Erin is quiet then Erin is cold. If Charlie is cold then Charlie is white.
Erin is quiet.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2 OR ((triple4) -> rule3) OR ((triple5) -> rule1) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple1) -> rule5)) -> rule6)) -> rule3))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] Charlie is round.[(triple5 OR ((triple1) -> rule5))] Erin is cold.[(triple6 OR ((triple7 triple9) -> rule7) OR ((((triple10) -> rule1) triple9) -> rule7) OR ((((triple9) -> rule3) triple9) -> rule7))] Erin is green.[(triple7 OR ((triple10) -> rule1) OR ((triple9) -> rule3) OR ((((triple6) -> rule5)) -> rule1))] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10 OR ((triple6) -> rule5) OR ((((triple7 triple9) -> rule7)) -> rule5) OR ((((((triple9) -> rule3) triple9) -> rule7)) -> rule5))] @1: Charlie is blue.[(((triple5) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] Charlie is white.[(((triple1) -> rule8) OR ((triple5) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Erin is blue.[(((triple10) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((((triple7 triple9) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple9) -> rule3) triple9) -> rule7)) -> rule5)) -> rule4))] Erin is white.[(((triple10) -> rule2) OR ((((triple6) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple9) -> rule3) triple9) -> rule7)) -> rule5)) -> rule2))]