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