Charlie is green. Charlie is red. Charlie is rough. Dave is not blue. Dave is red. Gary is blue. Gary is green. Gary is rough. Gary is round. Harry is blue. Harry is furry. Harry is green. Harry is rough. Harry is round. Harry is young. If Harry is not blue then Harry is not rough. If Harry is green then Harry is furry. If Dave is furry then Dave is rough. If Charlie is round and Charlie is not furry then Charlie is not green. Young, green things are red. All furry, round things are rough. All furry things are rough. If something is young and not round then it is green.
Gary is not rough.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Dave is not blue.[(triple4)] Dave is red.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11 OR ((triple12) -> rule2))] Harry is green.[(triple12)] Harry is rough.[(triple13 OR ((triple11) -> rule7) OR ((triple11 triple14) -> rule6) OR ((((triple12) -> rule2)) -> rule7) OR ((((triple12) -> rule2) triple14) -> rule6))] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Harry is red.[(((triple15 triple12) -> rule5))]