Dave is cold. Dave is furry. Dave is round. Dave is smart. Dave is young. Fiona is cold. Fiona is round. Fiona is smart. Harry is cold. Harry is furry. Harry is rough. Harry is round. Nice, furry things are not rough. All young things are smart.
Fiona is not cold.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4 OR ((triple5) -> rule2))] Dave is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)]