Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Dave is quiet. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Erin is white. If something is quiet and smart then it is green. If something is green then it is rough. All nice things are quiet. All quiet, white things are green. All rough things are nice. If something is quiet then it is green. If something is big then it is smart. All quiet things are big.
Dave is smart.
@0: Bob is big.[(triple1 OR ((triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule8) OR ((((((triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8))] Bob is green.[(triple2 OR ((triple4) -> rule6) OR ((triple4 triple6) -> rule1) OR ((triple4 triple7) -> rule4) OR ((((triple3) -> rule3)) -> rule6) OR ((triple4 ((triple1) -> rule7)) -> rule1) OR ((((triple3) -> rule3) triple6) -> rule1) OR ((((triple3) -> rule3) triple7) -> rule4) OR ((((triple3) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple6) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple7) -> rule4) OR ((((triple3) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((triple4 ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((triple4 ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule3) ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1))] Bob is nice.[(triple3 OR ((triple5) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4 triple6) -> rule1)) -> rule2)) -> rule5) OR ((((((triple4 triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((triple4 ((triple1) -> rule7)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))] Bob is quiet.[(triple4 OR ((triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3))] Bob is rough.[(triple5 OR ((triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple4 triple6) -> rule1)) -> rule2) OR ((((triple4 triple7) -> rule4)) -> rule2) OR ((((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) triple6) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) triple7) -> rule4)) -> rule2) OR ((((((triple3) -> rule3) ((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2))] Bob is smart.[(triple6 OR ((triple1) -> rule7) OR ((((triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule3)) -> rule8)) -> rule7) OR ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8)) -> rule7))] Bob is white.[(triple7)] Dave is quiet.[(triple8)] Erin is big.[(triple9 OR ((triple12) -> rule8) OR ((((triple11) -> rule3)) -> rule8) OR ((((((triple13) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple10) -> rule2)) -> rule5)) -> rule3)) -> rule8))] Erin is green.[(triple10 OR ((triple12) -> rule6) OR ((triple12 triple14) -> rule1) OR ((triple12 triple15) -> rule4) OR ((((triple11) -> rule3)) -> rule6) OR ((triple12 ((triple9) -> rule7)) -> rule1) OR ((((triple11) -> rule3) triple14) -> rule1) OR ((((triple11) -> rule3) triple15) -> rule4) OR ((((triple11) -> rule3) ((triple9) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3)) -> rule6) OR ((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) triple14) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) triple15) -> rule4) OR ((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((triple9) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((triple12 ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((triple12 ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple11) -> rule3) ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1))] Erin is nice.[(triple11 OR ((triple13) -> rule5) OR ((((triple10) -> rule2)) -> rule5) OR ((((((triple12) -> rule6)) -> rule2)) -> rule5) OR ((((((triple12 triple14) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12 triple15) -> rule4)) -> rule2)) -> rule5) OR ((((((triple12 ((triple9) -> rule7)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))] Erin is quiet.[(triple12 OR ((triple11) -> rule3) OR ((((triple13) -> rule5)) -> rule3) OR ((((((triple10) -> rule2)) -> rule5)) -> rule3))] Erin is rough.[(triple13 OR ((triple10) -> rule2) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple12 triple14) -> rule1)) -> rule2) OR ((((triple12 triple15) -> rule4)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6)) -> rule2) OR ((((triple12 ((triple9) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) triple14) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) triple15) -> rule4)) -> rule2) OR ((((((triple11) -> rule3) ((triple9) -> rule7)) -> rule1)) -> rule2) OR ((((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple12 ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2))] Erin is smart.[(triple14 OR ((triple9) -> rule7) OR ((((triple12) -> rule8)) -> rule7) OR ((((((triple11) -> rule3)) -> rule8)) -> rule7) OR ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((((((triple10) -> rule2)) -> rule5)) -> rule3)) -> rule8)) -> rule7))] Erin is white.[(triple15)] @1: Dave is big.[(((triple8) -> rule8))] Dave is green.[(((triple8) -> rule6) OR ((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1))] @2: Dave is rough.[(((((triple8) -> rule6)) -> rule2) OR ((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2))] Dave is smart.[(((((triple8) -> rule8)) -> rule7))] @3: Dave is nice.[(((((((triple8) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))]