Bob is not cold. Bob is furry. Bob is kind. Bob is round. Erin is furry. Erin is not kind. Erin is quiet. Erin is rough. Erin is round. Gary is cold. Gary is furry. Gary is kind. Gary is not quiet. Gary is not rough. Gary is not round. Gary is smart. If Gary is rough and Gary is cold then Gary is quiet. If something is quiet and not furry then it is not rough. Rough things are cold.
Erin is not quiet.
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not cold.[(triple1)] Bob is round.[(triple4)] Erin is furry.[(triple5)] Erin is not kind.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is not quiet.[(triple13)] Gary is not rough.[(triple14)] Gary is not round.[(triple15)] Gary is smart.[(triple16)] @1: Erin is cold.[(((triple8) -> rule3))]