Bob is not smart. Bob is white. Harry is green. Round people are white. White people are blue. If Bob is white and Bob is blue then Bob is round. Round, white people are not quiet. If someone is blue and not white then they are smart. If someone is white then they are not smart. If someone is smart and not quiet then they are green. All smart, round people are not green.
Bob is round.
@0: Bob is not smart.[(triple1 OR ((triple2) -> rule6))] Bob is white.[(triple2)] Harry is green.[(triple3)] @1: Bob is blue.[(((triple2) -> rule2))] @2: Bob is round.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: Bob is not quiet.[(((((triple2 ((triple2) -> rule2)) -> rule3) triple2) -> rule4))]