Charlie is not big. Charlie is furry. Charlie is quiet. Charlie is round. Fiona is not big. Gary is not quiet. Gary is round. All furry, quiet people are kind. Blue people are quiet. All blue, quiet people are not round. If someone is quiet and blue then they are big. Furry people are not big. If someone is blue and not quiet then they are big. If someone is blue and not big then they are not rough. Blue people are rough.
Gary is blue.
@0: Charlie is furry.[(triple2)] Charlie is not big.[(triple1 OR ((triple2) -> rule5))] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Fiona is not big.[(triple5)] Gary is not quiet.[(triple6)] Gary is round.[(triple7)] @1: Charlie is kind.[(((triple2 triple3) -> rule1))]