Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is young. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is young. If Dave is quiet and Dave is kind then Dave is rough. All quiet people are kind.
Bob is young.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple5) -> rule2))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Dave is cold.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple12) -> rule2))] Dave is nice.[(triple11)] Dave is quiet.[(triple12)] Dave is rough.[(triple13 OR ((triple12 triple10) -> rule1) OR ((triple12 ((triple12) -> rule2)) -> rule1))] Dave is young.[(triple14)]