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