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