Bob is green. Bob is nice. Bob is quiet. Charlie is nice. Charlie is round. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. Harry is furry. Harry is nice. Harry is round. If Fiona is green and Fiona is furry then Fiona is round.
Bob is not white.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Charlie is nice.[(triple4)] Charlie is round.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10 OR ((triple7 triple6) -> rule1))] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)]