Bob is big. Bob is kind. Bob is white. If Bob is big then Bob is green. If Bob is big then Bob is green. If someone is smart and not blue then they are cold. Green people are smart. All green people are smart. If someone is white then they are smart. Blue, white people are big. If someone is smart and not blue then they are green.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] @1: Bob is green.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Bob is smart.[(((triple3) -> rule6) OR ((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2)) -> rule5))]