Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is smart. Dave is white. Dave is young. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is smart. Harry is white. Harry is young. Big people are white. All young, smart people are green. If someone is white then they are green. White, blue people are young. All white people are smart. If Dave is young then Dave is big. All white, big people are green. Young, green people are big.
Dave is green.
@0: Dave is big.[(triple1 OR ((triple7) -> rule6) OR ((triple7 triple3) -> rule8) OR ((((triple6 triple2) -> rule4)) -> rule6) OR ((triple7 ((triple6) -> rule3)) -> rule8) OR ((triple7 ((triple7 triple5) -> rule2)) -> rule8) OR ((((triple6 triple2) -> rule4) triple3) -> rule8) OR ((((triple6 triple2) -> rule4) ((triple6) -> rule3)) -> rule8) OR ((((triple6 triple2) -> rule4) ((triple7 triple5) -> rule2)) -> rule8) OR ((triple7 ((triple7 ((triple6) -> rule5)) -> rule2)) -> rule8) OR ((triple7 ((((triple6 triple2) -> rule4) triple5) -> rule2)) -> rule8) OR ((triple7 ((((triple6 triple2) -> rule4) ((triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple6 triple2) -> rule4) ((triple7 ((triple6) -> rule5)) -> rule2)) -> rule8) OR ((((triple6 triple2) -> rule4) ((((triple6 triple2) -> rule4) triple5) -> rule2)) -> rule8) OR ((((triple6 triple2) -> rule4) ((((triple6 triple2) -> rule4) ((triple6) -> rule5)) -> rule2)) -> rule8))] Dave is blue.[(triple2)] Dave is green.[(triple3 OR ((triple6) -> rule3) OR ((triple6 triple1) -> rule7) OR ((triple7 triple5) -> rule2) OR ((((triple1) -> rule1)) -> rule3) OR ((triple6 ((triple7) -> rule6)) -> rule7) OR ((triple7 ((triple6) -> rule5)) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule7) OR ((((triple6 triple2) -> rule4) triple5) -> rule2) OR ((((triple1) -> rule1) ((triple7) -> rule6)) -> rule7) OR ((((triple6 triple2) -> rule4) ((triple6) -> rule5)) -> rule2) OR ((((((triple7) -> rule6)) -> rule1)) -> rule3) OR ((triple6 ((((triple6 triple2) -> rule4)) -> rule6)) -> rule7) OR ((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule6)) -> rule1) triple1) -> rule7) OR ((((((triple1) -> rule1) triple2) -> rule4) triple5) -> rule2) OR ((((triple1) -> rule1) ((((triple6 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7) OR ((((triple6 triple2) -> rule4) ((((triple1) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule1) triple2) -> rule4) ((triple6) -> rule5)) -> rule2) OR ((((((triple7) -> rule6)) -> rule1) ((((triple6 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1) -> rule1) triple2) -> rule4) ((((triple1) -> rule1)) -> rule5)) -> rule2) OR ((triple7 ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple6 triple2) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule1) triple2) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule2))] Dave is kind.[(triple4)] Dave is smart.[(triple5 OR ((triple6) -> rule5) OR ((((triple1) -> rule1)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7 triple3) -> rule8)) -> rule1)) -> rule5))] Dave is white.[(triple6 OR ((triple1) -> rule1) OR ((((triple7) -> rule6)) -> rule1) OR ((((triple7 triple3) -> rule8)) -> rule1) OR ((((triple7 ((triple7 triple5) -> rule2)) -> rule8)) -> rule1))] Dave is young.[(triple7 OR ((triple6 triple2) -> rule4) OR ((((triple1) -> rule1) triple2) -> rule4))] Harry is big.[(triple8 OR ((triple14 triple10) -> rule8) OR ((triple14 ((triple13) -> rule3)) -> rule8) OR ((triple14 ((triple14 triple12) -> rule2)) -> rule8) OR ((((triple13 triple9) -> rule4) triple10) -> rule8) OR ((((triple13 triple9) -> rule4) ((triple13) -> rule3)) -> rule8) OR ((((triple13 triple9) -> rule4) ((triple14 triple12) -> rule2)) -> rule8) OR ((triple14 ((triple14 ((triple13) -> rule5)) -> rule2)) -> rule8) OR ((triple14 ((((triple13 triple9) -> rule4) triple12) -> rule2)) -> rule8) OR ((triple14 ((((triple13 triple9) -> rule4) ((triple13) -> rule5)) -> rule2)) -> rule8) OR ((((triple13 triple9) -> rule4) ((triple14 ((triple13) -> rule5)) -> rule2)) -> rule8) OR ((((triple13 triple9) -> rule4) ((((triple13 triple9) -> rule4) triple12) -> rule2)) -> rule8) OR ((((triple13 triple9) -> rule4) ((((triple13 triple9) -> rule4) ((triple13) -> rule5)) -> rule2)) -> rule8))] Harry is blue.[(triple9)] Harry is green.[(triple10 OR ((triple13) -> rule3) OR ((triple13 triple8) -> rule7) OR ((triple14 triple12) -> rule2) OR ((((triple8) -> rule1)) -> rule3) OR ((triple14 ((triple13) -> rule5)) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule7) OR ((((triple13 triple9) -> rule4) triple12) -> rule2) OR ((((triple13 triple9) -> rule4) ((triple13) -> rule5)) -> rule2) OR ((triple14 ((((triple8) -> rule1)) -> rule5)) -> rule2) OR ((((((triple8) -> rule1) triple9) -> rule4) triple12) -> rule2) OR ((((triple13 triple9) -> rule4) ((((triple8) -> rule1)) -> rule5)) -> rule2) OR ((((((triple8) -> rule1) triple9) -> rule4) ((triple13) -> rule5)) -> rule2) OR ((((((triple8) -> rule1) triple9) -> rule4) ((((triple8) -> rule1)) -> rule5)) -> rule2))] Harry is kind.[(triple11)] Harry is smart.[(triple12 OR ((triple13) -> rule5) OR ((((triple8) -> rule1)) -> rule5) OR ((((((triple14 triple10) -> rule8)) -> rule1)) -> rule5))] Harry is white.[(triple13 OR ((triple8) -> rule1) OR ((((triple14 triple10) -> rule8)) -> rule1) OR ((((triple14 ((triple14 triple12) -> rule2)) -> rule8)) -> rule1))] Harry is young.[(triple14 OR ((triple13 triple9) -> rule4) OR ((((triple8) -> rule1) triple9) -> rule4))]