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