その知識体系は玉砕するということはない
fact1: もしもその知識体系がトレースするならその取得時換算法は玉砕する fact2: 仮にあの自立語がトレースするとすればその取得時換算法はむっつりする fact3: その取得時換算法が玉砕するならばあの知識体系はトレースする fact4: もし何らかの物はブラバスらしくないとすれば「その知識体系はブラバスらしいしトレースする」ということは本当だということはない fact5: 仮に「その知識体系はトレースする」ということは正しいとするとあの自立語は玉砕する fact6: 仮に何かはトレースしないし加えてむっつりしないとすればそれは玉砕しない fact7: その取得時換算法がむっつりするならあの自立語はトレースする fact8: 「その取得時換算法はトレースする」ということは本当である fact9: もし仮にその知識体系がむっつりするならあの自立語は玉砕する fact10: もし仮にその取得時換算法がトレースするとするとあの自立語はむっつりする fact11: 「あるものはブラバスらしいしかつトレースする」ということは成り立たないとしたらトレースするということはない fact12: もしもあの自立語がむっつりすればその知識体系は玉砕する fact13: 「あの生産設備能力はトレースする」ということは本当である fact14: 「あの自立語は玉砕する」ということは真実だ
fact10 & fact8 -> int1: あの自立語はむっつりする; int1 & fact12 -> hypothesis;
その知識体系は玉砕しない
fact15 -> int2: その知識体系がトレースしないしその上むっつりするということはないとしたら玉砕しない; fact16 -> int3: もしも「その知識体系はブラバスらしいし加えてトレースする」ということは誤っていればトレースするということはない;
$facts$ = fact1: もしもその知識体系がトレースするならその取得時換算法は玉砕する fact2: 仮にあの自立語がトレースするとすればその取得時換算法はむっつりする fact3: その取得時換算法が玉砕するならばあの知識体系はトレースする fact4: もし何らかの物はブラバスらしくないとすれば「その知識体系はブラバスらしいしトレースする」ということは本当だということはない fact5: 仮に「その知識体系はトレースする」ということは正しいとするとあの自立語は玉砕する fact6: 仮に何かはトレースしないし加えてむっつりしないとすればそれは玉砕しない fact7: その取得時換算法がむっつりするならあの自立語はトレースする fact8: 「その取得時換算法はトレースする」ということは本当である fact9: もし仮にその知識体系がむっつりするならあの自立語は玉砕する fact10: もし仮にその取得時換算法がトレースするとするとあの自立語はむっつりする fact11: 「あるものはブラバスらしいしかつトレースする」ということは成り立たないとしたらトレースするということはない fact12: もしもあの自立語がむっつりすればその知識体系は玉砕する fact13: 「あの生産設備能力はトレースする」ということは本当である fact14: 「あの自立語は玉砕する」ということは真実だ ; $hypothesis$ = その知識体系は玉砕するということはない ; $proof$ = 
fact10 & fact8 -> int1: あの自立語はむっつりする; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもその知識体系がトレースするならその取得時換算法は玉砕する
事実2: 仮にあの自立語がトレースするとすればその取得時換算法はむっつりする
事実3: その取得時換算法が玉砕するならばあの知識体系はトレースする
事実4: もし何らかの物はブラバスらしくないとすれば「その知識体系はブラバスらしいしトレースする」ということは本当だということはない
事実5: 仮に「その知識体系はトレースする」ということは正しいとするとあの自立語は玉砕する
事実6: 仮に何かはトレースしないし加えてむっつりしないとすればそれは玉砕しない
事実7: その取得時換算法がむっつりするならあの自立語はトレースする
事実8: 「その取得時換算法はトレースする」ということは本当である
事実9: もし仮にその知識体系がむっつりするならあの自立語は玉砕する
事実10: もし仮にその取得時換算法がトレースするとするとあの自立語はむっつりする
事実11: 「あるものはブラバスらしいしかつトレースする」ということは成り立たないとしたらトレースするということはない
事実12: もしもあの自立語がむっつりすればその知識体系は玉砕する
事実13: 「あの生産設備能力はトレースする」ということは本当である
事実14: 「あの自立語は玉砕する」ということは真実だ

仮説: その知識体系は玉砕するということはない
1. 事実10と事実8から、推論1: "あの自立語はむっつりする"が導かれる
2. 推論1と事実12から、仮説が否定される

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