Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is rough. Bob is not round. Bob is young. Charlie is blue. Charlie is green. Charlie is not rough. Harry is big. Harry is blue. Harry is kind. Harry is not rough. Harry is round. Harry is young. All rough, big things are green. If Charlie is green and Charlie is rough then Charlie is blue.
Harry is not green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple5 triple1) -> rule1))] Bob is kind.[(triple4)] Bob is not round.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is not rough.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is not rough.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)]