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