Charlie is not rough. Charlie is not round. Dave is not furry. Dave is green. Dave is not nice. Dave is rough. Dave is not white. Erin is furry. Erin is green. Erin is nice. Erin is round. Harry is rough. If something is nice and round then it is rough. All nice things are furry. Red things are not furry. If something is white then it is furry. Rough, red things are green. If something is rough and red then it is green.
Harry is rough.
@0: Charlie is not rough.[(triple1)] Charlie is not round.[(triple2)] Dave is green.[(triple4)] Dave is not furry.[(triple3)] Dave is not nice.[(triple5)] Dave is not white.[(triple7)] Dave is rough.[(triple6)] Erin is furry.[(triple8 OR ((triple10) -> rule2))] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is round.[(triple11)] Harry is rough.[(triple12)] @1: Erin is rough.[(((triple10 triple11) -> rule1))]