Bob is big. Bob is blue. Bob is kind. Bob is quiet. Bob is rough. Bob is not white. Bob is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. All blue people are young. Young, blue people are rough.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is not white.[(triple6)] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple7 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Bob is young.[(triple7 OR ((triple2) -> rule1))] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is kind.[(triple10)] Charlie is quiet.[(triple11)] Charlie is rough.[(triple12 OR ((triple14 triple9) -> rule2) OR ((((triple9) -> rule1) triple9) -> rule2))] Charlie is white.[(triple13)] Charlie is young.[(triple14 OR ((triple9) -> rule1))]