Bob is blue. Bob is green. Bob is rough. Bob is smart. Bob is white. Dave is rough. Dave is round. Dave is white. Fiona is big. Fiona is blue. Fiona is green. Fiona is rough. Fiona is white. Harry is big. Harry is rough. Harry is smart. Smart people are round. All blue, big people are round.
Dave is not white.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple11)] Fiona is rough.[(triple12)] Fiona is white.[(triple13)] Harry is big.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Bob is round.[(((triple4) -> rule1))] Fiona is round.[(((triple10 triple9) -> rule2))] Harry is round.[(((triple16) -> rule1))]