Bob is not cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is not smart. Charlie is not white. Erin is cold. Erin is smart. Harry is cold. Harry is quiet. Harry is rough. Harry is white. Cold people are red. All quiet people are rough. If someone is white and not red then they are not furry.
Charlie is quiet.
@0: Bob is not cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is not smart.[(triple5)] Charlie is not white.[(triple6)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4 OR ((triple3) -> rule2))] Erin is cold.[(triple7)] Erin is smart.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule2))] Harry is white.[(triple12)] @1: Erin is red.[(((triple7) -> rule1))] Harry is red.[(((triple9) -> rule1))]