この統計学的方法は石棺だがしかしかなぐり捨てない
fact1: 仮に「「白しかもしくは厚ぼったいということはないか両方である」ということは事実と異なる」ものがあるとするとこの統計学的方法はかなぐり捨てない fact2: この十三年当時は情報空間であるとすると「「その新日本製鉄系は白しかもしくは厚ぼったいということはないか両方ともである」ということは成り立つ」ということは成り立たない fact3: この統計学的方法は石棺だ fact4: 仮にこのクッションが消化し易くないとするとこの十三年当時は受理しない一方で情報空間である fact5: このクッションは消化し易くない
fact4 & fact5 -> int1: この十三年当時は受理しない一方で情報空間だ; int1 -> int2: この十三年当時は情報空間だ; int2 & fact2 -> int3: 「その新日本製鉄系は白しかあるいは厚ぼったくないかもしくはどちらもである」ということは成り立つということはない; int3 -> int4: 「「白しかもしくは厚ぼったくない」ということは真実であるということはない」ものはある; int4 & fact1 -> int5: この統計学的方法はかなぐり捨てない; int5 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「「白しかもしくは厚ぼったいということはないか両方である」ということは事実と異なる」ものがあるとするとこの統計学的方法はかなぐり捨てない fact2: この十三年当時は情報空間であるとすると「「その新日本製鉄系は白しかもしくは厚ぼったいということはないか両方ともである」ということは成り立つ」ということは成り立たない fact3: この統計学的方法は石棺だ fact4: 仮にこのクッションが消化し易くないとするとこの十三年当時は受理しない一方で情報空間である fact5: このクッションは消化し易くない ; $hypothesis$ = この統計学的方法は石棺だがしかしかなぐり捨てない ; $proof$ = 
fact4 & fact5 -> int1: この十三年当時は受理しない一方で情報空間だ; int1 -> int2: この十三年当時は情報空間だ; int2 & fact2 -> int3: 「その新日本製鉄系は白しかあるいは厚ぼったくないかもしくはどちらもである」ということは成り立つということはない; int3 -> int4: 「「白しかもしくは厚ぼったくない」ということは真実であるということはない」ものはある; int4 & fact1 -> int5: この統計学的方法はかなぐり捨てない; int5 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「「白しかもしくは厚ぼったいということはないか両方である」ということは事実と異なる」ものがあるとするとこの統計学的方法はかなぐり捨てない
事実2: この十三年当時は情報空間であるとすると「「その新日本製鉄系は白しかもしくは厚ぼったいということはないか両方ともである」ということは成り立つ」ということは成り立たない
事実3: この統計学的方法は石棺だ
事実4: 仮にこのクッションが消化し易くないとするとこの十三年当時は受理しない一方で情報空間である
事実5: このクッションは消化し易くない

仮説: この統計学的方法は石棺だがしかしかなぐり捨てない
1. 事実4と事実5から、推論1: "この十三年当時は受理しない一方で情報空間だ"が導かれる
2. 推論1から、推論2: "この十三年当時は情報空間だ"が導かれる
3. 推論2と事実2から、推論3: "「その新日本製鉄系は白しかあるいは厚ぼったくないかもしくはどちらもである」ということは成り立つということはない"が導かれる
4. 推論3から、推論4: "「「白しかもしくは厚ぼったくない」ということは真実であるということはない」ものはある"が導かれる
5. 推論4と事実1から、推論5: "この統計学的方法はかなぐり捨てない"が導かれる
6. 推論5と事実3から、仮説が導かれる

よって、仮説が証明されました。