「その総売り上げは有限集合でなくて白虎隊士だということはない」ということは成り立つということはない
fact1: 仮にその総売り上げは貧乏臭くないなら「有限集合でなくて更に白虎隊士だということはない」ということは成り立たない fact2: その総売り上げは貧乏臭くない
$facts$ = fact1: 仮にその総売り上げは貧乏臭くないなら「有限集合でなくて更に白虎隊士だということはない」ということは成り立たない fact2: その総売り上げは貧乏臭くない ; $hypothesis$ = 「その総売り上げは有限集合でなくて白虎隊士だということはない」ということは成り立つということはない ; $proof$ = 
事実1: 仮にその総売り上げは貧乏臭くないなら「有限集合でなくて更に白虎隊士だということはない」ということは成り立たない
事実2: その総売り上げは貧乏臭くない

仮説: 「その総売り上げは有限集合でなくて白虎隊士だということはない」ということは成り立つということはない