Charlie is big. Charlie is furry. Charlie is green. Charlie is round. Charlie is white. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is not round. Harry is big. Harry is furry. Harry is not green. Harry is red. Harry is round. Red, white things are big. If something is quiet and not red then it is round. If something is round and not red then it is quiet. If something is round and not red then it is quiet. Furry, red things are quiet. If something is round and not big then it is not furry.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is not round.[(triple10)] Fiona is quiet.[(triple8 OR ((triple7 triple9) -> rule5))] Fiona is red.[(triple9)] Harry is big.[(triple11)] Harry is furry.[(triple12)] Harry is not green.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Harry is quiet.[(((triple12 triple14) -> rule5))]