Bob is furry. Bob is quiet. Dave is nice. Dave is not round. Erin is nice. Gary is furry. Gary is not red. If Bob is furry and Bob is red then Bob is quiet. If someone is nice and not round then they are smart. All smart people are furry. All nice, smart people are furry. If someone is quiet and not red then they are furry. If Erin is nice then Erin is not smart.
Bob is furry.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Dave is nice.[(triple3)] Dave is not round.[(triple4)] Erin is nice.[(triple5)] Gary is furry.[(triple6)] Gary is not red.[(triple7)] @1: Dave is smart.[(((triple3 triple4) -> rule2))] Erin is not smart.[(((triple5) -> rule6))] @2: Dave is furry.[(((((triple3 triple4) -> rule2)) -> rule3) OR ((triple3 ((triple3 triple4) -> rule2)) -> rule4))]