Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is not round. Bob is not smart. Bob is young. Green, round things are smart. Young things are not smart. If Bob is smart then Bob is kind.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not round.[(triple5)] Bob is not smart.[(triple6 OR ((triple7) -> rule2))] Bob is young.[(triple7)]