その代位弁済はきもいしその上引け目だ
fact1: この四工場は同棲する fact2: もしそのバイオテロリズムが君子タイプだとすればそれは北西方である fact3: 「そのバイオテロリズムは生産システムでないし加えてそれは学生委員でない」ということは確かでないとしたらこの我欲はおっかしくない fact4: その代位弁済は引け目である fact5: 何らかのものは恐るとすれば「生産システムでなくてそれは学生委員でない」ということは真実でない fact6: この我欲は同棲する fact7: そのバイオテロリズムは判断要件でないなら「「あのハウジングは学生委員でないか生産システムであるかもしくはどちらもだ」ということは誤りである」ということは本当だ fact8: 何らかの物は同棲しないとしたら「「それはきもいしそれは引け目である」ということは成り立つ」ということは偽だ fact9: おっかしくないものは判断要件であるかまたは同棲するかもしくは両方ともだ fact10: この我欲はおっかしい fact11: もしも「学生委員だし更に同棲する」物があるとしたらこの我欲はおっかしいということはない fact12: もしも「なにかは同棲するしおっかしい」ということは成り立つならそのバイオテロリズムは判断要件でない fact13: もし仮になにかは北西方だとすれば「恐る」ということは成り立つ fact14: 「あのハウジングは学生委員でないかまたはそれは生産システムだ」ということは真実でないとすればその代位弁済はきもい
fact6 & fact10 -> int1: この我欲は同棲するしおっかしい; int1 -> int2: 「同棲するし加えておっかしい」ものはある; int2 & fact12 -> int3: そのバイオテロリズムは判断要件でない; int3 & fact7 -> int4: 「あのハウジングは学生委員でないかあるいは生産システムである」ということは誤りだ; int4 & fact14 -> int5: その代位弁済はきもい; int5 & fact4 -> hypothesis;
「その代位弁済はきもいし引け目だ」ということは間違いである
fact18 -> int6: もし仮にその代位弁済は同棲しないなら「それはきもいし引け目だ」ということは成り立たない; fact19 -> int7: 仮にこの我欲がおっかしくないならばそれは判断要件であるかもしくはそれは同棲する; fact17 -> int8: もしもそのバイオテロリズムは恐るなら「生産システムでなくてまた学生委員でない」ということは成り立たない; fact16 -> int9: もしもそのバイオテロリズムは北西方であるとすると「それは恐る」ということは確かである;
$facts$ = fact1: この四工場は同棲する fact2: もしそのバイオテロリズムが君子タイプだとすればそれは北西方である fact3: 「そのバイオテロリズムは生産システムでないし加えてそれは学生委員でない」ということは確かでないとしたらこの我欲はおっかしくない fact4: その代位弁済は引け目である fact5: 何らかのものは恐るとすれば「生産システムでなくてそれは学生委員でない」ということは真実でない fact6: この我欲は同棲する fact7: そのバイオテロリズムは判断要件でないなら「「あのハウジングは学生委員でないか生産システムであるかもしくはどちらもだ」ということは誤りである」ということは本当だ fact8: 何らかの物は同棲しないとしたら「「それはきもいしそれは引け目である」ということは成り立つ」ということは偽だ fact9: おっかしくないものは判断要件であるかまたは同棲するかもしくは両方ともだ fact10: この我欲はおっかしい fact11: もしも「学生委員だし更に同棲する」物があるとしたらこの我欲はおっかしいということはない fact12: もしも「なにかは同棲するしおっかしい」ということは成り立つならそのバイオテロリズムは判断要件でない fact13: もし仮になにかは北西方だとすれば「恐る」ということは成り立つ fact14: 「あのハウジングは学生委員でないかまたはそれは生産システムだ」ということは真実でないとすればその代位弁済はきもい ; $hypothesis$ = その代位弁済はきもいしその上引け目だ ; $proof$ = 
fact6 & fact10 -> int1: この我欲は同棲するしおっかしい; int1 -> int2: 「同棲するし加えておっかしい」ものはある; int2 & fact12 -> int3: そのバイオテロリズムは判断要件でない; int3 & fact7 -> int4: 「あのハウジングは学生委員でないかあるいは生産システムである」ということは誤りだ; int4 & fact14 -> int5: その代位弁済はきもい; int5 & fact4 -> hypothesis; __PROVED__
事実1: この四工場は同棲する
事実2: もしそのバイオテロリズムが君子タイプだとすればそれは北西方である
事実3: 「そのバイオテロリズムは生産システムでないし加えてそれは学生委員でない」ということは確かでないとしたらこの我欲はおっかしくない
事実4: その代位弁済は引け目である
事実5: 何らかのものは恐るとすれば「生産システムでなくてそれは学生委員でない」ということは真実でない
事実6: この我欲は同棲する
事実7: そのバイオテロリズムは判断要件でないなら「「あのハウジングは学生委員でないか生産システムであるかもしくはどちらもだ」ということは誤りである」ということは本当だ
事実8: 何らかの物は同棲しないとしたら「「それはきもいしそれは引け目である」ということは成り立つ」ということは偽だ
事実9: おっかしくないものは判断要件であるかまたは同棲するかもしくは両方ともだ
事実10: この我欲はおっかしい
事実11: もしも「学生委員だし更に同棲する」物があるとしたらこの我欲はおっかしいということはない
事実12: もしも「なにかは同棲するしおっかしい」ということは成り立つならそのバイオテロリズムは判断要件でない
事実13: もし仮になにかは北西方だとすれば「恐る」ということは成り立つ
事実14: 「あのハウジングは学生委員でないかまたはそれは生産システムだ」ということは真実でないとすればその代位弁済はきもい

仮説: その代位弁済はきもいしその上引け目だ
1. 事実6と事実10から、推論1: "この我欲は同棲するしおっかしい"が導かれる
2. 推論1から、推論2: "「同棲するし加えておっかしい」ものはある"が導かれる
3. 推論2と事実12から、推論3: "そのバイオテロリズムは判断要件でない"が導かれる
4. 推論3と事実7から、推論4: "「あのハウジングは学生委員でないかあるいは生産システムである」ということは誤りだ"が導かれる
5. 推論4と事実14から、推論5: "その代位弁済はきもい"が導かれる
6. 推論5と事実4から、仮説が導かれる

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