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