Charlie is not cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Erin is furry. Erin is smart. Erin is not white. Harry is cold. Harry is not furry. Harry is nice. Harry is quiet. Harry is round. Harry is smart. If someone is cold then they are smart. If Harry is round then Harry is not white.
Charlie is not smart.
@0: Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is not cold.[(triple1)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Erin is furry.[(triple7)] Erin is not white.[(triple9)] Erin is smart.[(triple8)] Harry is cold.[(triple10)] Harry is nice.[(triple12)] Harry is not furry.[(triple11)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple10) -> rule1))] @1: Harry is not white.[(((triple14) -> rule2))]