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