このオートフォーマットは付け過ぎるということはない
fact1: あのリンパ球減少は因り難くないし随一だということはない fact2: もし「あのリンパ球減少は因り難くないし随一でない」ということは確かであるならばあのオートフォーマットは付け過ぎない
$facts$ = fact1: あのリンパ球減少は因り難くないし随一だということはない fact2: もし「あのリンパ球減少は因り難くないし随一でない」ということは確かであるならばあのオートフォーマットは付け過ぎない ; $hypothesis$ = このオートフォーマットは付け過ぎるということはない ; $proof$ = 
事実1: あのリンパ球減少は因り難くないし随一だということはない
事実2: もし「あのリンパ球減少は因り難くないし随一でない」ということは確かであるならばあのオートフォーマットは付け過ぎない

仮説: このオートフォーマットは付け過ぎるということはない