Bob is blue. Bob is kind. Bob is quiet. Bob is not rough. Bob is round. Bob is white. Bob is young. If someone is rough and quiet then they are white. Young, rough people are kind. All quiet, rough people are kind. If Bob is blue and Bob is not kind then Bob is not round. If Bob is kind and Bob is round then Bob is blue. If someone is young and blue then they are round.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple2 triple5) -> rule5))] Bob is kind.[(triple2)] Bob is not rough.[(triple4)] Bob is quiet.[(triple3)] Bob is round.[(triple5 OR ((triple7 triple1) -> rule6))] Bob is white.[(triple6)] Bob is young.[(triple7)]