Charlie is big. Charlie is furry. Charlie is nice. Fiona is not furry. Fiona is not quiet. Fiona is young. Gary is not big. Gary is kind. Gary is rough. Gary is young. If someone is quiet and kind then they are not nice. If someone is nice then they are quiet. Big, kind people are quiet. Rough people are young. If Charlie is quiet then Charlie is young. If someone is quiet and not nice then they are furry.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Fiona is not furry.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is young.[(triple6)] Gary is kind.[(triple8)] Gary is not big.[(triple7)] Gary is rough.[(triple9)] Gary is young.[(triple10 OR ((triple9) -> rule4))] @1: Charlie is quiet.[(((triple3) -> rule2))] @2: Charlie is young.[(((((triple3) -> rule2)) -> rule5))]