Anne is kind. Anne is not nice. Anne is rough. Anne is not white. Dave is big. Dave is cold. Dave is green. Dave is not nice. Dave is rough. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is white. If someone is green and not cold then they are not white. If someone is white and not nice then they are kind. All cold people are kind. Nice, big people are green. If Anne is kind and Anne is big then Anne is rough. If Dave is big then Dave is rough. If someone is kind and not nice then they are rough. If someone is big and not green then they are rough.
Anne is big.
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is not white.[(triple4)] Anne is rough.[(triple3 OR ((triple1 triple2) -> rule7))] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is not nice.[(triple8)] Dave is rough.[(triple9 OR ((triple5) -> rule6) OR ((((triple6) -> rule3) triple8) -> rule7))] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12 OR ((triple14 triple10) -> rule4))] Harry is kind.[(triple13 OR ((triple11) -> rule3))] Harry is nice.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Dave is kind.[(((triple6) -> rule3))]