Bob is furry. Dave is kind. Erin is furry. Gary is not red. Quiet, big things are furry. Kind, quiet things are furry. If Dave is big and Dave is not round then Dave is kind. If something is kind then it is big. If something is big then it is quiet. If Bob is big and Bob is not cold then Bob is red. If Erin is red and Erin is furry then Erin is kind. If something is red then it is kind.
Dave is quiet.
@0: Bob is furry.[(triple1)] Dave is kind.[(triple2)] Erin is furry.[(triple3)] Gary is not red.[(triple4)] @1: Dave is big.[(((triple2) -> rule4))] @2: Dave is quiet.[(((((triple2) -> rule4)) -> rule5))] @3: Dave is furry.[(((triple2 ((((triple2) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4)) -> rule5) ((triple2) -> rule4)) -> rule1))]