Bob is big. Bob is not blue. Bob is kind. Bob is rough. Bob is round. Gary is blue. Gary is green. Gary is kind. Gary is round. Gary is smart. Harry is big. Harry is kind. Harry is rough. Harry is round. Harry is smart. If something is big and not smart then it is green. If something is rough then it is big. If something is round then it is rough.
Harry is not green.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Bob is kind.[(triple3)] Bob is not blue.[(triple2)] Bob is rough.[(triple4 OR ((triple5) -> rule3))] Bob is round.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Harry is big.[(triple11 OR ((triple13) -> rule2) OR ((((triple14) -> rule3)) -> rule2))] Harry is kind.[(triple12)] Harry is rough.[(triple13 OR ((triple14) -> rule3))] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Gary is rough.[(((triple9) -> rule3))] @2: Gary is big.[(((((triple9) -> rule3)) -> rule2))]