Bob is green. Dave is blue. Dave is kind. If Dave is furry and Dave is white then Dave is blue. All smart people are kind. If someone is big and not blue then they are green. If Bob is smart and Bob is kind then Bob is big. If someone is green and not blue then they are not smart. All green people are smart.
Dave is not white.
@0: Bob is green.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] @1: Bob is smart.[(((triple1) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule6)) -> rule2))] @3: Bob is big.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule4))]