Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is white. Dave is young. Erin is cold. Erin is green. Erin is kind. Erin is rough. Rough people are quiet. All young people are kind. Quiet, cold people are green. If Dave is quiet then Dave is rough. White, kind people are quiet. If someone is green and young then they are cold. All kind, quiet people are cold. All young people are kind.
Erin is cold.
@0: Dave is cold.[(triple1 OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple4) -> rule1)) -> rule7) OR ((triple2 ((triple5 triple2) -> rule5)) -> rule7) OR ((((triple6) -> rule2) triple3) -> rule7) OR ((((triple6) -> rule8) triple3) -> rule7) OR ((((triple6) -> rule2) ((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule2) ((triple5 triple2) -> rule5)) -> rule7) OR ((((triple6) -> rule8) ((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule8) ((triple5 triple2) -> rule5)) -> rule7) OR ((triple2 ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple2 ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7) OR ((((triple6) -> rule2) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((triple6) -> rule2) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7) OR ((((triple6) -> rule8) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7) OR ((((triple6) -> rule8) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7))] Dave is kind.[(triple2 OR ((triple6) -> rule2) OR ((triple6) -> rule8))] Dave is quiet.[(triple3 OR ((triple4) -> rule1) OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple6) -> rule2)) -> rule5) OR ((triple5 ((triple6) -> rule8)) -> rule5))] Dave is rough.[(triple4 OR ((triple3) -> rule4) OR ((((triple5 triple2) -> rule5)) -> rule4) OR ((((triple5 ((triple6) -> rule2)) -> rule5)) -> rule4) OR ((((triple5 ((triple6) -> rule8)) -> rule5)) -> rule4))] Dave is white.[(triple5)] Dave is young.[(triple6)] Erin is cold.[(triple7 OR ((triple9 ((triple10) -> rule1)) -> rule7))] Erin is green.[(triple8 OR ((((triple10) -> rule1) triple7) -> rule3) OR ((((triple10) -> rule1) ((triple9 ((triple10) -> rule1)) -> rule7)) -> rule3))] Erin is kind.[(triple9)] Erin is rough.[(triple10)] @1: Dave is green.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple2 triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule1) triple1) -> rule3) OR ((((triple5 triple2) -> rule5) triple1) -> rule3) OR ((((triple4) -> rule1) ((triple2 triple3) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((triple2 triple3) -> rule7)) -> rule3) OR ((triple3 ((triple2 ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple3 ((triple2 ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule2) triple3) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule8) triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) triple1) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) triple1) -> rule3) OR ((triple3 ((((triple6) -> rule2) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule2) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule8) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((triple2 ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule2) triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule8) triple3) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((triple2 ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((triple2 ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule2) triple3) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule8) triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((triple2 triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((triple2 triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule2) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule2) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule8) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule2) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule2) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule8) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((triple2 ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((triple2 ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule8) triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((triple2 ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((triple2 ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule2) triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule8) triple3) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule8) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule2) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule2) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule8) ((triple5 triple2) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((triple2 ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((triple2 ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule2) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule2) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule8) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((triple3 ((((triple6) -> rule8) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((triple2 ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((triple2 ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((triple2 ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((triple2 ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple4) -> rule1) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 triple2) -> rule5) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((triple2 ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((triple2 ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((triple2 ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((triple2 ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule2)) -> rule5) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule2) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((triple5 ((triple6) -> rule8)) -> rule5) ((((triple6) -> rule8) ((triple5 ((triple6) -> rule8)) -> rule5)) -> rule7)) -> rule3))] Erin is quiet.[(((triple10) -> rule1))]