Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. If Dave is nice then Dave is big. All red, green things are nice. If Dave is smart and Dave is white then Dave is red. If something is quiet and smart then it is nice. All red things are big. If Dave is quiet then Dave is smart. Big things are smart. All quiet things are big.
Dave is white.
@0: Dave is big.[(triple1 OR ((triple3) -> rule1) OR ((triple4) -> rule8) OR ((triple5) -> rule5) OR ((((triple4 triple6) -> rule4)) -> rule1) OR ((((triple5 triple2) -> rule2)) -> rule1) OR ((((triple6 triple7) -> rule3)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule4)) -> rule1) OR ((((((triple4) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple6 triple7) -> rule3) triple2) -> rule2)) -> rule1) OR ((((((((triple4) -> rule6) triple7) -> rule3) triple2) -> rule2)) -> rule1))] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple4 triple6) -> rule4) OR ((triple5 triple2) -> rule2) OR ((triple4 ((triple1) -> rule7)) -> rule4) OR ((triple4 ((triple4) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule3) triple2) -> rule2) OR ((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule4) OR ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule4) OR ((((((triple1) -> rule7) triple7) -> rule3) triple2) -> rule2) OR ((((((triple4) -> rule6) triple7) -> rule3) triple2) -> rule2) OR ((((((((triple4) -> rule8)) -> rule7) triple7) -> rule3) triple2) -> rule2))] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple6 triple7) -> rule3) OR ((((triple1) -> rule7) triple7) -> rule3) OR ((((triple4) -> rule6) triple7) -> rule3) OR ((((((triple3) -> rule1)) -> rule7) triple7) -> rule3) OR ((((((triple4) -> rule8)) -> rule7) triple7) -> rule3))] Dave is smart.[(triple6 OR ((triple1) -> rule7) OR ((triple4) -> rule6) OR ((((triple3) -> rule1)) -> rule7) OR ((((triple4) -> rule8)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((((triple5 triple2) -> rule2)) -> rule1)) -> rule7))] Dave is white.[(triple7)]