Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is white. Dave is blue. Dave is cold. Dave is kind. Dave is smart. Dave is white. Erin is cold. Erin is not kind. Erin is red. Erin is smart. Erin is white. If Bob is white and Bob is smart then Bob is kind. If someone is blue and not smart then they are white. Red people are white. Blue, red people are white. If someone is blue and not kind then they are quiet. All kind, smart people are quiet.
Dave is not smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule3) OR ((triple1 triple5) -> rule4))] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Erin is cold.[(triple12)] Erin is not kind.[(triple13)] Erin is red.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16 OR ((triple14) -> rule3))] @1: Dave is quiet.[(((triple9 triple10) -> rule6))]