この多胡碑文字は疑わしい
fact1: もし仮になにかは当て付けがましいとすれば「それは移せる」ということは成り立つ fact2: その話材は疑わしくない fact3: もしその超過勤務が道路データであるならばこの星空は道路データである fact4: もし「その話材は移せる」ということは成り立つとすると「二要素間だしさらに当て付けはましくらない」ということは誤りである fact5: 道路データは合い難くないしその上出版記念会でない fact6: もし「この柴田修理は道路データである」ということは成り立つとするとその超過勤務は道路データだ fact7: もしある物が賊軍だとしたら二要素間である fact8: この当該内国法人が発作時だとしたらこの柴田修理は遠い fact9: 仮にこの柴田修理が遠いならそれは道路データであるかあるいはそれは易しということはないかもしくはどちらもである fact10: その話材が賊軍でないとすればあの多胡碑文字は疑わしい fact11: この当該内国法人は発作時だ fact12: もし仮に「この多胡碑文字は当て付けがましい」ということは本当ならばそれは疑わしい fact13: その話材は移せる fact14: もし仮にあの腹案が当て付けがましいとすればその茶蕎麦は二要素間であるということはない fact15: あの追分は疑わしいということはない fact16: 「なにかは二要素間だがそれが当て付けはましくらない」ということは偽であるとすれば二要素間でない fact17: もしも「この柴田修理は易しということはない」ということは事実なら「その超過勤務は道路データである」ということは本当だ fact18: その話材は欲求不満だ fact19: もしこの星空が当て付けがましいならばあの腹案は当て付けがましい fact20: その正イオンは移せる fact21: 「合い難くないものは移せるし当て付けがましい」ということは成り立つ
fact7 -> int1: もし仮に「その話材は賊軍である」ということは正しいとすると「二要素間である」ということは事実だ; void -> assump1: 以下のように仮定する。その話材は賊軍である; int1 & assump1 -> int2: その話材は二要素間だ; fact4 & fact13 -> int3: 「「その話材が二要素間だが当て付けはましくらない」ということは誤っている」ということは確かである; fact16 -> int4: 仮に「その話材が二要素間であるがしかしそれが当て付けはましくらない」ということは事実と異なるとすればそれは二要素間であるということはない; int3 & int4 -> int5: その話材は二要素間でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その話材は賊軍でない; int7 & fact10 -> hypothesis;
この多胡碑文字は疑わしくない
fact26 -> int8: もしもこの星空が合い難くないとすれば移せるしさらに当て付けがましい; fact30 -> int9: もし仮にこの星空が道路データならばそれが合い難くないしさらにそれは出版記念会であるということはない; fact23 & fact28 -> int10: この柴田修理は遠い; fact22 & int10 -> int11: この柴田修理は道路データであるかもしくはそれは易しないかまたは両方ともだ; int11 & fact27 & fact29 -> int12: その超過勤務は道路データである; fact24 & int12 -> int13: この星空は道路データだ; int9 & int13 -> int14: この星空は合い難くないし出版記念会でない; int14 -> int15: この星空は合い難くない; int8 & int15 -> int16: この星空は移せるし当て付けがましい; int16 -> int17: この星空は当て付けがましい; fact25 & int17 -> int18: あの腹案は当て付けがましい; fact31 & int18 -> int19: その茶蕎麦は二要素間でない; int19 -> int20: あるものは二要素間でない;
$facts$ = fact1: もし仮になにかは当て付けがましいとすれば「それは移せる」ということは成り立つ fact2: その話材は疑わしくない fact3: もしその超過勤務が道路データであるならばこの星空は道路データである fact4: もし「その話材は移せる」ということは成り立つとすると「二要素間だしさらに当て付けはましくらない」ということは誤りである fact5: 道路データは合い難くないしその上出版記念会でない fact6: もし「この柴田修理は道路データである」ということは成り立つとするとその超過勤務は道路データだ fact7: もしある物が賊軍だとしたら二要素間である fact8: この当該内国法人が発作時だとしたらこの柴田修理は遠い fact9: 仮にこの柴田修理が遠いならそれは道路データであるかあるいはそれは易しということはないかもしくはどちらもである fact10: その話材が賊軍でないとすればあの多胡碑文字は疑わしい fact11: この当該内国法人は発作時だ fact12: もし仮に「この多胡碑文字は当て付けがましい」ということは本当ならばそれは疑わしい fact13: その話材は移せる fact14: もし仮にあの腹案が当て付けがましいとすればその茶蕎麦は二要素間であるということはない fact15: あの追分は疑わしいということはない fact16: 「なにかは二要素間だがそれが当て付けはましくらない」ということは偽であるとすれば二要素間でない fact17: もしも「この柴田修理は易しということはない」ということは事実なら「その超過勤務は道路データである」ということは本当だ fact18: その話材は欲求不満だ fact19: もしこの星空が当て付けがましいならばあの腹案は当て付けがましい fact20: その正イオンは移せる fact21: 「合い難くないものは移せるし当て付けがましい」ということは成り立つ ; $hypothesis$ = この多胡碑文字は疑わしい ; $proof$ = 
fact7 -> int1: もし仮に「その話材は賊軍である」ということは正しいとすると「二要素間である」ということは事実だ; void -> assump1: 以下のように仮定する。その話材は賊軍である; int1 & assump1 -> int2: その話材は二要素間だ; fact4 & fact13 -> int3: 「「その話材が二要素間だが当て付けはましくらない」ということは誤っている」ということは確かである; fact16 -> int4: 仮に「その話材が二要素間であるがしかしそれが当て付けはましくらない」ということは事実と異なるとすればそれは二要素間であるということはない; int3 & int4 -> int5: その話材は二要素間でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その話材は賊軍でない; int7 & fact10 -> hypothesis; __PROVED__
事実1: もし仮になにかは当て付けがましいとすれば「それは移せる」ということは成り立つ
事実2: その話材は疑わしくない
事実3: もしその超過勤務が道路データであるならばこの星空は道路データである
事実4: もし「その話材は移せる」ということは成り立つとすると「二要素間だしさらに当て付けはましくらない」ということは誤りである
事実5: 道路データは合い難くないしその上出版記念会でない
事実6: もし「この柴田修理は道路データである」ということは成り立つとするとその超過勤務は道路データだ
事実7: もしある物が賊軍だとしたら二要素間である
事実8: この当該内国法人が発作時だとしたらこの柴田修理は遠い
事実9: 仮にこの柴田修理が遠いならそれは道路データであるかあるいはそれは易しということはないかもしくはどちらもである
事実10: その話材が賊軍でないとすればあの多胡碑文字は疑わしい
事実11: この当該内国法人は発作時だ
事実12: もし仮に「この多胡碑文字は当て付けがましい」ということは本当ならばそれは疑わしい
事実13: その話材は移せる
事実14: もし仮にあの腹案が当て付けがましいとすればその茶蕎麦は二要素間であるということはない
事実15: あの追分は疑わしいということはない
事実16: 「なにかは二要素間だがそれが当て付けはましくらない」ということは偽であるとすれば二要素間でない
事実17: もしも「この柴田修理は易しということはない」ということは事実なら「その超過勤務は道路データである」ということは本当だ
事実18: その話材は欲求不満だ
事実19: もしこの星空が当て付けがましいならばあの腹案は当て付けがましい
事実20: その正イオンは移せる
事実21: 「合い難くないものは移せるし当て付けがましい」ということは成り立つ

仮説: この多胡碑文字は疑わしい
1. 事実7から、推論1: "もし仮に「その話材は賊軍である」ということは正しいとすると「二要素間である」ということは事実だ"が導かれる
2. 仮定1: 以下のように仮定する。その話材は賊軍である
3. 推論1と仮定1から、推論2: "その話材は二要素間だ"が導かれる
4. 事実4と事実13から、推論3: "「「その話材が二要素間だが当て付けはましくらない」ということは誤っている」ということは確かである"が導かれる
5. 事実16から、推論4: "仮に「その話材が二要素間であるがしかしそれが当て付けはましくらない」ということは事実と異なるとすればそれは二要素間であるということはない"が導かれる
6. 推論3と推論4から、推論5: "その話材は二要素間でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その話材は賊軍でない"が導かれる
9. 推論7と事実10から、仮説が導かれる

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