Anne is not big. Anne is red. Anne is rough. Anne is young. Charlie is nice. Dave is red. Dave is young. Harry is nice. Harry is quiet. Harry is rough. If someone is young then they are nice. If Anne is white then Anne is big. If Charlie is big then Charlie is red. If Dave is rough and Dave is not nice then Dave is white. All rough people are quiet. All white people are not quiet. Young, white people are rough. If Dave is not white and Dave is not young then Dave is not red.
Harry is red.
@0: Anne is not big.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Charlie is nice.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9 OR ((triple10) -> rule5))] Harry is rough.[(triple10)] @1: Anne is nice.[(((triple4) -> rule1))] Anne is quiet.[(((triple3) -> rule5))] Dave is nice.[(((triple7) -> rule1))]