Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is white. Kind, blue people are nice. All nice, kind people are blue. White people are blue. All red, blue people are rough. White people are rough. If Dave is white then Dave is blue. All kind people are white. If someone is kind and not nice then they are not big.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple7) -> rule3) OR ((triple7) -> rule6) OR ((triple4 triple3) -> rule2) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule6))] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple7) -> rule3)) -> rule1) OR ((triple3 ((triple7) -> rule6)) -> rule1) OR ((triple3 ((((triple3) -> rule7)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7)) -> rule6)) -> rule1))] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple7) -> rule5) OR ((triple5 triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule5) OR ((triple5 ((triple7) -> rule3)) -> rule4) OR ((triple5 ((triple7) -> rule6)) -> rule4) OR ((triple5 ((triple4 triple3) -> rule2)) -> rule4) OR ((triple5 ((((triple3) -> rule7)) -> rule3)) -> rule4) OR ((triple5 ((((triple3) -> rule7)) -> rule6)) -> rule4))] Dave is white.[(triple7 OR ((triple3) -> rule7))]