「「その遼陽正面は長ったらしくないが狭い」ということは誤りである」ということは間違いでない
fact1: あの使い達が湿気易いならばその一万年前は生温かい fact2: 湿気易いものは最もらしくないけど各項目だ fact3: もしその一万年前が長ったらしくないならその遼陽正面は狭い fact4: 「長ったらしくて更に生温かい」物があればその聖僧は理解し難くない fact5: 「「長ったらしい」ということは成り立つ」物はある fact6: あの使い達は湿気易い fact7: その聖僧は理解し難い fact8: 「湿気易い」物はある fact9: 仮にその一万年前が長ったらしいということはないならばその遼陽正面は長ったらしくないけれど狭い
fact1 & fact6 -> int1: その一万年前は生温かい; void -> assump1: 以下のように仮定する。その一万年前は長ったらしい; int1 & assump1 -> int2: その一万年前は長ったらしくて生温かい; int2 -> int3: 長ったらしいしそれに生温かいものはある; int3 & fact4 -> int4: 「その聖僧は理解し難くない」ということは確かである; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: その一万年前は長ったらしくない; int6 & fact9 -> hypothesis;
その一万年前は最もらしくないがそれは各項目だ
fact10 -> int7: もし仮にその一万年前が湿気易いなら最もらしくないしそれは各項目だ;
$facts$ = fact1: あの使い達が湿気易いならばその一万年前は生温かい fact2: 湿気易いものは最もらしくないけど各項目だ fact3: もしその一万年前が長ったらしくないならその遼陽正面は狭い fact4: 「長ったらしくて更に生温かい」物があればその聖僧は理解し難くない fact5: 「「長ったらしい」ということは成り立つ」物はある fact6: あの使い達は湿気易い fact7: その聖僧は理解し難い fact8: 「湿気易い」物はある fact9: 仮にその一万年前が長ったらしいということはないならばその遼陽正面は長ったらしくないけれど狭い ; $hypothesis$ = 「「その遼陽正面は長ったらしくないが狭い」ということは誤りである」ということは間違いでない ; $proof$ = 
fact1 & fact6 -> int1: その一万年前は生温かい; void -> assump1: 以下のように仮定する。その一万年前は長ったらしい; int1 & assump1 -> int2: その一万年前は長ったらしくて生温かい; int2 -> int3: 長ったらしいしそれに生温かいものはある; int3 & fact4 -> int4: 「その聖僧は理解し難くない」ということは確かである; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: その一万年前は長ったらしくない; int6 & fact9 -> hypothesis; __DISPROVED__
事実1: あの使い達が湿気易いならばその一万年前は生温かい
事実2: 湿気易いものは最もらしくないけど各項目だ
事実3: もしその一万年前が長ったらしくないならその遼陽正面は狭い
事実4: 「長ったらしくて更に生温かい」物があればその聖僧は理解し難くない
事実5: 「「長ったらしい」ということは成り立つ」物はある
事実6: あの使い達は湿気易い
事実7: その聖僧は理解し難い
事実8: 「湿気易い」物はある
事実9: 仮にその一万年前が長ったらしいということはないならばその遼陽正面は長ったらしくないけれど狭い

仮説: 「「その遼陽正面は長ったらしくないが狭い」ということは誤りである」ということは間違いでない
1. 事実1と事実6から、推論1: "その一万年前は生温かい"が導かれる
2. 仮定1: 以下のように仮定する。その一万年前は長ったらしい
3. 推論1と仮定1から、推論2: "その一万年前は長ったらしくて生温かい"が導かれる
4. 推論2から、推論3: "長ったらしいしそれに生温かいものはある"が導かれる
5. 推論3と事実4から、推論4: "「その聖僧は理解し難くない」ということは確かである"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その一万年前は長ったらしくない"が導かれる
8. 推論6と事実9から、仮説が否定される

よって、仮説が否定されました。