Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Harry is cold. Harry is not furry. Harry is not quiet. Harry is not round. Harry is not smart. Harry is white. Furry people are quiet. All furry, cold people are quiet. White people are not quiet. If someone is smart and not red then they are furry. If someone is red and not white then they are not furry. Quiet, red people are smart.
Harry is red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3 OR ((triple2) -> rule1) OR ((triple2 triple1) -> rule2))] Charlie is red.[(triple4)] Harry is cold.[(triple5)] Harry is not furry.[(triple6)] Harry is not quiet.[(triple7 OR ((triple10) -> rule3))] Harry is not round.[(triple8)] Harry is not smart.[(triple9)] Harry is white.[(triple10)] @1: Charlie is smart.[(((triple3 triple4) -> rule6) OR ((((triple2) -> rule1) triple4) -> rule6) OR ((((triple2 triple1) -> rule2) triple4) -> rule6))]