Anne is big. Anne is nice. Anne is rough. Dave is big. Dave is rough. Dave is white. Harry is kind. Harry is nice. Harry is rough. Harry is white. If someone is white then they are rough. If Anne is smart then Anne is kind. If Anne is white then Anne is kind. White people are nice. If someone is green and white then they are rough. If someone is big then they are kind. If Dave is big and Dave is white then Dave is kind. If someone is green then they are white.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Dave is big.[(triple4)] Dave is rough.[(triple5 OR ((triple6) -> rule1))] Dave is white.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8 OR ((triple10) -> rule4))] Harry is rough.[(triple9 OR ((triple10) -> rule1))] Harry is white.[(triple10)] @1: Anne is kind.[(((triple1) -> rule6))] Dave is kind.[(((triple4) -> rule6) OR ((triple4 triple6) -> rule7))] Dave is nice.[(((triple6) -> rule4))]