Bob is big. Bob is not green. Bob is nice. Dave is furry. Dave is not green. Dave is nice. Erin is not furry. Erin is not green. Erin is nice. Erin is not young. If Erin is green then Erin is smart. If Bob is furry then Bob is young. If Erin is young and Erin is furry then Erin is green. If Dave is nice and Dave is not young then Dave is furry. If something is green then it is smart. If something is nice and not young then it is smart. All furry, green things are smart. If something is red and not green then it is not smart.
Dave is young.
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Dave is furry.[(triple4)] Dave is nice.[(triple6)] Dave is not green.[(triple5)] Erin is nice.[(triple9)] Erin is not furry.[(triple7)] Erin is not green.[(triple8)] Erin is not young.[(triple10)] @1: Erin is smart.[(((triple9 triple10) -> rule6))]