Dave is not blue. Dave is cold. Dave is kind. Dave is not quiet. Dave is rough. Dave is smart. Dave is not white. Fiona is not blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. If Fiona is cold then Fiona is kind. All quiet people are cold. If someone is kind and quiet then they are cold. If someone is blue then they are cold. Cold people are rough. Cold people are smart.
Fiona is not blue.
@0: Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is not blue.[(triple1)] Dave is not quiet.[(triple4)] Dave is not white.[(triple7)] Dave is rough.[(triple5 OR ((triple2) -> rule5))] Dave is smart.[(triple6 OR ((triple2) -> rule6))] Fiona is cold.[(triple9 OR ((triple11) -> rule2) OR ((triple10 triple11) -> rule3))] Fiona is kind.[(triple10 OR ((triple9) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Fiona is not blue.[(triple8)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12 OR ((triple9) -> rule5) OR ((((triple11) -> rule2)) -> rule5) OR ((((triple10 triple11) -> rule3)) -> rule5))] Fiona is smart.[(triple13 OR ((triple9) -> rule6) OR ((((triple11) -> rule2)) -> rule6) OR ((((triple10 triple11) -> rule3)) -> rule6))] Fiona is white.[(triple14)]