Bob is not blue. Bob is cold. Bob is green. Bob is nice. Bob is rough. Bob is round. Bob is not young. All green people are nice. All rough, blue people are not round. If someone is nice then they are round. All green, blue people are not cold. If someone is nice then they are green. If Bob is round then Bob is nice.
Bob is not young.
@0: Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] Bob is nice.[(triple4 OR ((triple3) -> rule1) OR ((triple6) -> rule6))] Bob is not blue.[(triple1)] Bob is not young.[(triple7)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3))]