Dave is green. Dave is nice. Dave is quiet. Erin is not big. Erin is not furry. Erin is kind. Erin is quiet. If Dave is furry and Dave is nice then Dave is not rough. Green, nice people are kind. Big, green people are furry.
Dave is kind.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Erin is kind.[(triple6)] Erin is not big.[(triple4)] Erin is not furry.[(triple5)] Erin is quiet.[(triple7)] @1: Dave is kind.[(((triple1 triple2) -> rule2))]