Dave is red. All nice, green people are blue. Red people are blue. All blue people are green. If someone is big and blue then they are white. If someone is red and white then they are big. If Dave is big and Dave is furry then Dave is green. If someone is big and blue then they are red. Big, blue people are nice.
Dave is not red.
@0: Dave is red.[(triple1)] @1: Dave is blue.[(((triple1) -> rule2))] @2: Dave is green.[(((((triple1) -> rule2)) -> rule3))]