Charlie is not quiet. Charlie is rough. Charlie is round. Charlie is white. Gary is big. Gary is furry. Gary is kind. Gary is quiet. Gary is not rough. Gary is round. All rough, white people are round. If someone is furry and not quiet then they are kind.
Charlie is not kind.
@0: Charlie is not quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3 OR ((triple2 triple4) -> rule1))] Charlie is white.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] Gary is not rough.[(triple9)] Gary is quiet.[(triple8)] Gary is round.[(triple10)]