Dave is big. Dave is blue. Dave is furry. Dave is round. Dave is not young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is red. Fiona is round. Fiona is white. Harry is not big. Harry is furry. Harry is not red. Harry is not round. Harry is white. All furry, red things are round.
Harry is not blue.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is not young.[(triple5)] Dave is round.[(triple4)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10 OR ((triple8 triple9) -> rule1))] Fiona is white.[(triple11)] Harry is furry.[(triple13)] Harry is not big.[(triple12)] Harry is not red.[(triple14)] Harry is not round.[(triple15)] Harry is white.[(triple16)]