Dave is white. Fiona is big. Fiona is rough. Fiona is white. Gary is kind. Gary is rough. Gary is round. Gary is white. Harry is green. Harry is kind. Harry is nice. Harry is white. If Harry is big and Harry is round then Harry is green. If Dave is white then Dave is big.
Dave is not green.
@0: Dave is white.[(triple1)] Fiona is big.[(triple2)] Fiona is rough.[(triple3)] Fiona is white.[(triple4)] Gary is kind.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Gary is white.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is white.[(triple12)] @1: Dave is big.[(((triple1) -> rule2))]