Anne is not nice. Anne is red. Anne is rough. Anne is not round. Anne is young. Charlie is not big. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Dave is not big. Dave is quiet. Dave is red. Dave is rough. Dave is not round. Dave is young. Round, big things are quiet. If Charlie is quiet then Charlie is not big. Big, nice things are not red. If something is nice then it is red. If Dave is rough and Dave is not round then Dave is red. If something is rough and not quiet then it is not young.
Charlie is red.
@0: Anne is not nice.[(triple1)] Anne is not round.[(triple4)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple5)] Charlie is nice.[(triple7)] Charlie is not big.[(triple6 OR ((triple8) -> rule2))] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Dave is not big.[(triple11)] Dave is not round.[(triple15)] Dave is quiet.[(triple12)] Dave is red.[(triple13 OR ((triple14 triple15) -> rule5))] Dave is rough.[(triple14)] Dave is young.[(triple16)] @1: Charlie is red.[(((triple7) -> rule4))]