Charlie is big. Charlie is not blue. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is not smart. Charlie is young. Fiona is big. Fiona is blue. Fiona is round. Fiona is smart. Fiona is young. Harry is blue. Harry is furry. Harry is not quiet. Harry is not round. If something is smart then it is round. If Harry is blue and Harry is not young then Harry is quiet. If something is blue then it is big. If Harry is smart and Harry is young then Harry is not furry. Round, blue things are not furry. If Charlie is not round then Charlie is big.
Fiona is young.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple3)] Charlie is not blue.[(triple2)] Charlie is not smart.[(triple6)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple7)] Fiona is big.[(triple8 OR ((triple9) -> rule3))] Fiona is blue.[(triple9)] Fiona is round.[(triple10 OR ((triple11) -> rule1))] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] Harry is blue.[(triple13)] Harry is furry.[(triple14)] Harry is not quiet.[(triple15)] Harry is not round.[(triple16)] @1: Fiona is not furry.[(((triple10 triple9) -> rule5) OR ((((triple11) -> rule1) triple9) -> rule5))] Harry is big.[(((triple13) -> rule3))]