Bob is cold. Bob is kind. Bob is rough. Bob is smart. Dave is green. Dave is red. Dave is smart. Erin is cold. Erin is green. Erin is kind. Erin is rough. Erin is smart. Erin is white. Fiona is kind. Fiona is rough. Fiona is white. If something is smart and cold then it is white. If Fiona is white then Fiona is kind. White, smart things are cold.
Bob is not white.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Dave is green.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] Erin is cold.[(triple8 OR ((triple13 triple12) -> rule3))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13 OR ((triple12 triple8) -> rule1))] Fiona is kind.[(triple14 OR ((triple16) -> rule2))] Fiona is rough.[(triple15)] Fiona is white.[(triple16)] @1: Bob is white.[(((triple4 triple1) -> rule1))]