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