Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is not rough. Bob is young. Rough people are red. If someone is young and not big then they are not green. If someone is red and not young then they are not green. If someone is red and not rough then they are green. If someone is nice and not blue then they are not green. If Bob is blue and Bob is not big then Bob is nice. All rough people are not nice. All green people are nice.
Bob is young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple5 triple6) -> rule4))] Bob is nice.[(triple4 OR ((triple3) -> rule8) OR ((((triple5 triple6) -> rule4)) -> rule8))] Bob is not rough.[(triple6)] Bob is red.[(triple5)] Bob is young.[(triple7)]