Dave is kind. Dave is round. Dave is smart. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is smart. Harry is white. All smart, white things are round.
Fiona is green.
@0: Dave is kind.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7 OR ((triple8 triple9) -> rule1))] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14 OR ((triple15 triple16) -> rule1))] Harry is smart.[(triple15)] Harry is white.[(triple16)]