Bob is blue. Bob is green. Bob is not kind. Bob is not nice. Bob is round. Bob is smart. Bob is white. If someone is round and not smart then they are blue. White people are round. If someone is round then they are not kind.
Bob is green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is not kind.[(triple3 OR ((triple5) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Bob is not nice.[(triple4)] Bob is round.[(triple5 OR ((triple7) -> rule2))] Bob is smart.[(triple6)] Bob is white.[(triple7)]