Anne is white. Dave is smart. Erin is furry. Gary is green. If someone is smart then they are furry. All big, quiet people are furry. If someone is kind then they are white. Big, green people are furry. If Dave is white and Dave is furry then Dave is smart. Green people are quiet. Furry people are smart. If Erin is smart then Erin is green.
Dave is smart.
@0: Anne is white.[(triple1)] Dave is smart.[(triple2)] Erin is furry.[(triple3)] Gary is green.[(triple4)] @1: Dave is furry.[(((triple2) -> rule1))] Erin is smart.[(((triple3) -> rule7))] Gary is quiet.[(((triple4) -> rule6))] @2: Erin is green.[(((((triple3) -> rule7)) -> rule8))] @3: Erin is quiet.[(((((((triple3) -> rule7)) -> rule8)) -> rule6))]