Bob is blue. Bob is green. Bob is kind. Bob is rough. Bob is round. Bob is smart. Bob is young. Dave is blue. Dave is kind. Dave is rough. Dave is smart. Dave is young. Gary is blue. Gary is kind. Gary is smart. All green, kind things are smart. All rough, round things are smart.
Bob is not kind.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple2 triple3) -> rule1) OR ((triple4 triple5) -> rule2))] Bob is young.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)] Gary is blue.[(triple13)] Gary is kind.[(triple14)] Gary is smart.[(triple15)]