Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. If Fiona is furry and Fiona is quiet then Fiona is young. If Dave is cold and Dave is smart then Dave is red.
Fiona is not smart.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple1 triple6) -> rule2))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14 OR ((triple9 triple11) -> rule1))]