Bob is kind. Bob is nice. Bob is round. Bob is white. Bob is young. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. If someone is kind then they are white. Nice people are white. All round, nice people are young.
Bob is not young.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4 OR ((triple1) -> rule1) OR ((triple2) -> rule2))] Bob is young.[(triple5 OR ((triple3 triple2) -> rule3))] Charlie is nice.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9 OR ((triple6) -> rule2))] Charlie is young.[(triple10 OR ((triple7 triple6) -> rule3))]