Dave is white. Erin is smart. Smart, white people are green. White people are green. If someone is red and nice then they are round. If someone is white and nice then they are red. Round people are green. If someone is round and nice then they are green. All green, white people are furry. All furry, white people are red.
Dave is not round.
@0: Dave is white.[(triple1)] Erin is smart.[(triple2)] @1: Dave is green.[(((triple1) -> rule2))] @2: Dave is furry.[(((((triple1) -> rule2) triple1) -> rule7))] @3: Dave is red.[(((((((triple1) -> rule2) triple1) -> rule7) triple1) -> rule8))]