Charlie is cold. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is green. Erin is rough. Erin is young. All round people are blue. Young, round people are cold. If someone is young and green then they are round. All rough, blue people are cold. All round, cold people are white. Blue people are cold. Rough, cold people are young. If someone is green and blue then they are round.
Erin is not blue.
@0: Charlie is cold.[(triple1 OR ((triple5 triple3) -> rule2) OR ((((triple3) -> rule1)) -> rule6) OR ((triple2 ((triple3) -> rule1)) -> rule4))] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple5 triple3) -> rule2)) -> rule5) OR ((triple3 ((((triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((triple2 ((triple3) -> rule1)) -> rule4)) -> rule5))] Charlie is young.[(triple5 OR ((triple2 triple1) -> rule7) OR ((triple2 ((((triple3) -> rule1)) -> rule6)) -> rule7) OR ((triple2 ((triple2 ((triple3) -> rule1)) -> rule4)) -> rule7))] Dave is blue.[(triple6 OR ((triple10) -> rule1) OR ((((triple12 triple8) -> rule3)) -> rule1) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3)) -> rule1))] Dave is cold.[(triple7 OR ((triple6) -> rule6) OR ((triple12 triple10) -> rule2) OR ((triple9 triple6) -> rule4) OR ((((triple10) -> rule1)) -> rule6) OR ((triple12 ((triple12 triple8) -> rule3)) -> rule2) OR ((triple12 ((triple8 triple6) -> rule8)) -> rule2) OR ((triple9 ((triple10) -> rule1)) -> rule4) OR ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6) OR ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4))] Dave is green.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10 OR ((triple12 triple8) -> rule3) OR ((triple8 triple6) -> rule8) OR ((((triple9 triple7) -> rule7) triple8) -> rule3) OR ((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) OR ((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3))] Dave is white.[(triple11 OR ((triple10 triple7) -> rule5) OR ((triple10 ((triple6) -> rule6)) -> rule5) OR ((triple10 ((triple12 triple10) -> rule2)) -> rule5) OR ((triple10 ((triple9 triple6) -> rule4)) -> rule5) OR ((((triple12 triple8) -> rule3) triple7) -> rule5) OR ((((triple8 triple6) -> rule8) triple7) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple6) -> rule6)) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple12 triple10) -> rule2)) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple9 triple6) -> rule4)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple6) -> rule6)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple12 triple10) -> rule2)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple9 triple6) -> rule4)) -> rule5) OR ((triple10 ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((triple10 ((triple12 ((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((triple10 ((triple12 ((triple8 triple6) -> rule8)) -> rule2)) -> rule5) OR ((triple10 ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) triple7) -> rule5) OR ((((triple12 triple8) -> rule3) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple12 ((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple12 ((triple8 triple6) -> rule8)) -> rule2)) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((triple8 triple6) -> rule8) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple12 ((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple12 ((triple8 triple6) -> rule8)) -> rule2)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple6) -> rule6)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple12 triple10) -> rule2)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple9 triple6) -> rule4)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple12 ((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple12 ((triple8 triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((triple10 ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple10 ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) triple7) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) triple7) -> rule5) OR ((((triple12 triple8) -> rule3) ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((triple12 triple8) -> rule3) ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((triple8 triple6) -> rule8) ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((triple8 triple6) -> rule8) ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple6) -> rule6)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple12 triple10) -> rule2)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple9 triple6) -> rule4)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple6) -> rule6)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple12 triple10) -> rule2)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple9 triple6) -> rule4)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule3) ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple12 ((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple12 ((triple8 triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple12 ((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple12 ((triple8 triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9 ((triple6) -> rule6)) -> rule7) triple8) -> rule3) ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((((((triple12 triple8) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9 ((triple9 triple6) -> rule4)) -> rule7) triple8) -> rule3) ((triple9 ((((triple12 triple8) -> rule3)) -> rule1)) -> rule4)) -> rule5))] Dave is young.[(triple12 OR ((triple9 triple7) -> rule7) OR ((triple9 ((triple6) -> rule6)) -> rule7) OR ((triple9 ((triple9 triple6) -> rule4)) -> rule7) OR ((triple9 ((((triple10) -> rule1)) -> rule6)) -> rule7) OR ((triple9 ((triple9 ((triple10) -> rule1)) -> rule4)) -> rule7))] Erin is green.[(triple13)] Erin is rough.[(triple14)] Erin is young.[(triple15)] @1: Charlie is blue.[(((triple3) -> rule1))] Erin is round.[(((triple15 triple13) -> rule3))] @2: Erin is blue.[(((((triple15 triple13) -> rule3)) -> rule1))] Erin is cold.[(((triple15 ((triple15 triple13) -> rule3)) -> rule2) OR ((((((triple15 triple13) -> rule3)) -> rule1)) -> rule6) OR ((triple14 ((((triple15 triple13) -> rule3)) -> rule1)) -> rule4))] @3: Erin is white.[(((((triple15 triple13) -> rule3) ((triple15 ((triple15 triple13) -> rule3)) -> rule2)) -> rule5) OR ((((triple15 triple13) -> rule3) ((((((triple15 triple13) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((triple15 triple13) -> rule3) ((triple14 ((((triple15 triple13) -> rule3)) -> rule1)) -> rule4)) -> rule5))]