Dave is cold. Dave is not furry. Dave is kind. Dave is nice. Dave is not round. Dave is not white. Dave is young. Fiona is cold. Fiona is furry. Fiona is not nice. Fiona is round. Harry is kind. Harry is round. Harry is white. Harry is young. All round things are white. If Dave is nice then Dave is cold. All nice things are young.
Fiona is not round.
@0: Dave is cold.[(triple1 OR ((triple4) -> rule2))] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not furry.[(triple2)] Dave is not round.[(triple5)] Dave is not white.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule3))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not nice.[(triple10)] Fiona is round.[(triple11)] Harry is kind.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple13) -> rule1))] Harry is young.[(triple15)] @1: Fiona is white.[(((triple11) -> rule1))]