Charlie is blue. Charlie is red. Charlie is round. Charlie is smart. Fiona is round. Fiona is smart. Harry is blue. Harry is furry. Harry is red. Harry is white. Smart things are quiet. Smart, round things are blue. If Charlie is quiet then Charlie is red. If something is white and smart then it is furry. White, red things are blue. If something is round and smart then it is furry. If Charlie is blue then Charlie is red. If Harry is blue then Harry is quiet.
Charlie is not white.
@0: Charlie is blue.[(triple1 OR ((triple4 triple3) -> rule2))] Charlie is red.[(triple2 OR ((triple1) -> rule7) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple4 triple3) -> rule2)) -> rule7))] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Harry is blue.[(triple7 OR ((triple10 triple9) -> rule5))] Harry is furry.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Charlie is furry.[(((triple3 triple4) -> rule6))] Charlie is quiet.[(((triple4) -> rule1))] Fiona is blue.[(((triple6 triple5) -> rule2))] Fiona is furry.[(((triple5 triple6) -> rule6))] Fiona is quiet.[(((triple6) -> rule1))] Harry is quiet.[(((triple7) -> rule8) OR ((((triple10 triple9) -> rule5)) -> rule8))]