Bob is cold. Bob is red. Bob is smart. Bob is white. Charlie is not furry. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is smart. Charlie is white. Gary is furry. Gary is nice. Gary is red. Gary is white. Harry is nice. Harry is red. If Bob is furry then Bob is not white. Cold people are nice. If Harry is red then Harry is cold. If Harry is red and Harry is not smart then Harry is cold. If Harry is red and Harry is kind then Harry is not furry. If someone is furry and smart then they are cold.
Charlie is red.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is kind.[(triple6)] Charlie is not furry.[(triple5)] Charlie is not nice.[(triple7)] Charlie is red.[(triple8)] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13)] Gary is white.[(triple14)] Harry is nice.[(triple15 OR ((((triple16) -> rule3)) -> rule2))] Harry is red.[(triple16)] @1: Bob is nice.[(((triple1) -> rule2))] Harry is cold.[(((triple16) -> rule3))]