Bob is green. Bob is nice. Bob is rough. Bob is not round. Bob is white. Bob is young. Harry is rough. Harry is not round. Harry is not white. Harry is young. All nice people are green. If someone is round and not blue then they are not young.
Harry is blue.
@0: Bob is green.[(triple1 OR ((triple2) -> rule1))] Bob is nice.[(triple2)] Bob is not round.[(triple4)] Bob is rough.[(triple3)] Bob is white.[(triple5)] Bob is young.[(triple6)] Harry is not round.[(triple8)] Harry is not white.[(triple9)] Harry is rough.[(triple7)] Harry is young.[(triple10)]