Charlie is furry. Charlie is nice. Charlie is not quiet. Charlie is smart. Charlie is white. Charlie is young. Harry is nice. Harry is quiet. Harry is rough. Harry is white. White people are furry. If Charlie is smart and Charlie is not young then Charlie is rough.
Charlie is not rough.
@0: Charlie is furry.[(triple1 OR ((triple5) -> rule1))] Charlie is nice.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Harry is furry.[(((triple10) -> rule1))]