Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. If someone is smart and not kind then they are blue. If someone is blue and quiet then they are big. If someone is kind then they are green. Quiet people are green. If Bob is big then Bob is quiet. Smart people are quiet.
Bob is not white.
@0: Bob is big.[(triple1 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple6) -> rule6)) -> rule2))] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule3) OR ((triple5) -> rule4) OR ((((triple1) -> rule5)) -> rule4) OR ((((triple6) -> rule6)) -> rule4))] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple1) -> rule5) OR ((triple6) -> rule6))] Bob is smart.[(triple6)] Bob is white.[(triple7)]