Bob is nice. Bob is quiet. Bob is white. Dave is cold. Dave is furry. Dave is nice. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. All furry, young people are cold. If someone is cold and furry then they are white.
Fiona is furry.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Dave is cold.[(triple4 OR ((triple5 triple8) -> rule1))] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7 OR ((triple4 triple5) -> rule2) OR ((((triple5 triple8) -> rule1) triple5) -> rule2))] Dave is young.[(triple8)] Fiona is cold.[(triple9 OR ((triple10 triple15) -> rule1))] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple9 triple10) -> rule2) OR ((((triple10 triple15) -> rule1) triple10) -> rule2))] Fiona is young.[(triple15)]