Bob is not big. Bob is not blue. Bob is not kind. Bob is nice. Bob is rough. Bob is round. Bob is young. Charlie is not rough. Charlie is round. Harry is blue. Harry is kind. Harry is nice. If someone is rough and not young then they are big. Kind, round people are nice. If someone is kind then they are rough. If Bob is nice and Bob is kind then Bob is not rough. If Harry is nice and Harry is young then Harry is round. If someone is nice and not big then they are not blue.
Charlie is kind.
@0: Bob is nice.[(triple4)] Bob is not big.[(triple1)] Bob is not blue.[(triple2 OR ((triple4 triple1) -> rule6))] Bob is not kind.[(triple3)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is not rough.[(triple8)] Charlie is round.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] @1: Harry is rough.[(((triple11) -> rule3))]