Bob is furry. Bob is quiet. Dave is kind. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Gary is furry. Gary is quiet. If Erin is furry then Erin is kind.
Gary is quiet.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Dave is kind.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6 OR ((triple5) -> rule1))] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)]