Bob is cold. Bob is kind. Bob is rough. Dave is red. Erin is green. Erin is rough. Harry is cold. All white, green things are not kind. All green, red things are not white. If something is red and not rough then it is not white. If something is cold then it is white. All green things are cold. All green, white things are cold. If something is green then it is cold. If Bob is kind and Bob is not smart then Bob is cold.
Dave is not rough.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Dave is red.[(triple4)] Erin is green.[(triple5)] Erin is rough.[(triple6)] Harry is cold.[(triple7)] @1: Bob is white.[(((triple1) -> rule4))] Erin is cold.[(((triple5) -> rule5) OR ((triple5) -> rule7))] Harry is white.[(((triple7) -> rule4))] @2: Erin is white.[(((((triple5) -> rule5)) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] @3: Erin is not kind.[(((((((triple5) -> rule5)) -> rule4) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule4) triple5) -> rule1))]