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