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