Bob is cold. Bob is not nice. Bob is smart. Dave is rough. Gary is cold. Gary is nice. Gary is red. Gary is not rough. Gary is white. Harry is nice. Harry is red. Harry is rough. If someone is nice and not smart then they are not cold. If someone is cold and not red then they are not white. Rough people are white. If someone is smart then they are not rough. If someone is cold and not red then they are blue. All white, rough people are not blue. If Bob is rough then Bob is white. If Dave is white then Dave is cold.
Dave is not rough.
@0: Bob is cold.[(triple1)] Bob is not nice.[(triple2)] Bob is smart.[(triple3)] Dave is rough.[(triple4)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is not rough.[(triple8)] Gary is red.[(triple7)] Gary is white.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Bob is not rough.[(((triple3) -> rule4))] Dave is white.[(((triple4) -> rule3))] Harry is white.[(((triple12) -> rule3))] @2: Dave is cold.[(((((triple4) -> rule3)) -> rule8))] Dave is not blue.[(((((triple4) -> rule3) triple4) -> rule6))] Harry is not blue.[(((((triple12) -> rule3) triple12) -> rule6))]