Bob is not big. Bob is not green. Bob is kind. Bob is nice. Bob is not red. Bob is not rough. Bob is round. Harry is not big. Harry is green. Harry is kind. Harry is not nice. Harry is red. Harry is rough. Harry is round. If Bob is green and Bob is not round then Bob is rough. All green, round people are red. If Bob is rough then Bob is kind. If Harry is round and Harry is not green then Harry is red. If someone is big then they are nice. If Bob is not kind and Bob is not rough then Bob is not big.
Harry is red.
@0: Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not big.[(triple1)] Bob is not green.[(triple2)] Bob is not red.[(triple5)] Bob is not rough.[(triple6)] Bob is round.[(triple7)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not big.[(triple8)] Harry is not nice.[(triple11)] Harry is red.[(triple12 OR ((triple9 triple14) -> rule2))] Harry is rough.[(triple13)] Harry is round.[(triple14)]