Bob is not green. Bob is kind. Bob is nice. Bob is rough. Bob is white. Bob is young. Dave is rough. Dave is round. Dave is white. Fiona is white. Round things are white. All kind things are nice.
Bob is rough.
@0: Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule2))] Bob is not green.[(triple1)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple8) -> rule1))] Fiona is white.[(triple10)]