あの岐阜城は悪酔いする
fact1: もし何らかのものが規則正しいとするとそれは羨ましい fact2: あの戦闘状態は女流作家であるかあるいは快電話だ fact3: もしもなんらかの物が深まりでないとするとそれは製造部長でないか撤退コストだ fact4: 来辛くないものは悪酔いしない fact5: あの岐阜城は来辛いかあるいは制止すらない fact6: もし仮に「そのアルミナは介護しない」ということは成り立てばあの勧誘員は製品流通前で加えて設定契約だ fact7: もしもあの戦闘状態が女流作家だとするとそれは深まりでない fact8: なんらかの物が制止すとすると設定契約である fact9: もし「この嗄れ声は丈である一方で事態でない」ということは成り立たないとすると「丈でない」ということは成り立つ fact10: 仮に「なにがしかの物は悪酔いしないがしかし来辛い」ということは成り立たないなら悪酔いする fact11: 設定契約は制止す fact12: 仮にあの岐阜城は製品流通前なら「それは設定契約でしかも介護するということはない」ということは事実と異なる fact13: あの岐阜城は製品流通前である fact14: もしも「なにがしかのものは製造部長でないかまたは撤退コストであるかもしくはどちらもだ」ということは成り立てばそれは製造部長でない fact15: 仮に「あの戦闘状態は製造部長でない」ということは成り立つとすれば「絞り袋でない」ということは成り立つ fact16: 絞り袋は介護しない一方で不活性化だ fact17: 仮にとある物が来辛くないか制止すということはないかもしくはどちらもなら悪酔いしない fact18: あの戦闘状態が絞り袋でないならそのアルミナは絞り袋だ fact19: もしも「何かは設定契約だが介護しない」ということは誤っていれば設定契約でない fact20: もし仮にこの七十歳近くは制止すとすれば「あの岐阜城は悪酔いしないけど来辛い」ということは嘘である fact21: もしあの岐阜城が来辛くないとすると悪酔いしない fact22: もしこの七十歳近くが悪酔いするけれど来辛くないとするとあの岐阜城は悪酔いする fact23: 仮に「あの勧誘員は設定契約だ」ということは成り立つとすればあの七十歳近くは設定契約である
fact8 -> int1: もし仮にあの岐阜城が制止すなら設定契約だ; void -> assump1: 以下のように仮定する。あの岐阜城は制止す; int1 & assump1 -> int2: あの岐阜城は設定契約である; fact13 & fact12 -> int3: 「あの岐阜城は設定契約だ一方で介護するということはない」ということは嘘である; fact19 -> int4: もし仮に「あの岐阜城は設定契約であるけど介護しない」ということは成り立たないならばそれは設定契約でない; int3 & int4 -> int5: あの岐阜城は設定契約でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの岐阜城は制止すらない; int7 -> int8: あの岐阜城は来辛くないかもしくは制止すらないかまたは両方である; fact17 -> int9: もし仮にあの岐阜城は来辛くないかもしくは制止すらないかまたは両方であるとすれば悪酔いしない; int8 & int9 -> hypothesis;
「あの岐阜城は悪酔いする」ということは本当だ
$facts$ = fact1: もし何らかのものが規則正しいとするとそれは羨ましい fact2: あの戦闘状態は女流作家であるかあるいは快電話だ fact3: もしもなんらかの物が深まりでないとするとそれは製造部長でないか撤退コストだ fact4: 来辛くないものは悪酔いしない fact5: あの岐阜城は来辛いかあるいは制止すらない fact6: もし仮に「そのアルミナは介護しない」ということは成り立てばあの勧誘員は製品流通前で加えて設定契約だ fact7: もしもあの戦闘状態が女流作家だとするとそれは深まりでない fact8: なんらかの物が制止すとすると設定契約である fact9: もし「この嗄れ声は丈である一方で事態でない」ということは成り立たないとすると「丈でない」ということは成り立つ fact10: 仮に「なにがしかの物は悪酔いしないがしかし来辛い」ということは成り立たないなら悪酔いする fact11: 設定契約は制止す fact12: 仮にあの岐阜城は製品流通前なら「それは設定契約でしかも介護するということはない」ということは事実と異なる fact13: あの岐阜城は製品流通前である fact14: もしも「なにがしかのものは製造部長でないかまたは撤退コストであるかもしくはどちらもだ」ということは成り立てばそれは製造部長でない fact15: 仮に「あの戦闘状態は製造部長でない」ということは成り立つとすれば「絞り袋でない」ということは成り立つ fact16: 絞り袋は介護しない一方で不活性化だ fact17: 仮にとある物が来辛くないか制止すということはないかもしくはどちらもなら悪酔いしない fact18: あの戦闘状態が絞り袋でないならそのアルミナは絞り袋だ fact19: もしも「何かは設定契約だが介護しない」ということは誤っていれば設定契約でない fact20: もし仮にこの七十歳近くは制止すとすれば「あの岐阜城は悪酔いしないけど来辛い」ということは嘘である fact21: もしあの岐阜城が来辛くないとすると悪酔いしない fact22: もしこの七十歳近くが悪酔いするけれど来辛くないとするとあの岐阜城は悪酔いする fact23: 仮に「あの勧誘員は設定契約だ」ということは成り立つとすればあの七十歳近くは設定契約である ; $hypothesis$ = あの岐阜城は悪酔いする ; $proof$ = 
fact8 -> int1: もし仮にあの岐阜城が制止すなら設定契約だ; void -> assump1: 以下のように仮定する。あの岐阜城は制止す; int1 & assump1 -> int2: あの岐阜城は設定契約である; fact13 & fact12 -> int3: 「あの岐阜城は設定契約だ一方で介護するということはない」ということは嘘である; fact19 -> int4: もし仮に「あの岐阜城は設定契約であるけど介護しない」ということは成り立たないならばそれは設定契約でない; int3 & int4 -> int5: あの岐阜城は設定契約でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの岐阜城は制止すらない; int7 -> int8: あの岐阜城は来辛くないかもしくは制止すらないかまたは両方である; fact17 -> int9: もし仮にあの岐阜城は来辛くないかもしくは制止すらないかまたは両方であるとすれば悪酔いしない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし何らかのものが規則正しいとするとそれは羨ましい
事実2: あの戦闘状態は女流作家であるかあるいは快電話だ
事実3: もしもなんらかの物が深まりでないとするとそれは製造部長でないか撤退コストだ
事実4: 来辛くないものは悪酔いしない
事実5: あの岐阜城は来辛いかあるいは制止すらない
事実6: もし仮に「そのアルミナは介護しない」ということは成り立てばあの勧誘員は製品流通前で加えて設定契約だ
事実7: もしもあの戦闘状態が女流作家だとするとそれは深まりでない
事実8: なんらかの物が制止すとすると設定契約である
事実9: もし「この嗄れ声は丈である一方で事態でない」ということは成り立たないとすると「丈でない」ということは成り立つ
事実10: 仮に「なにがしかの物は悪酔いしないがしかし来辛い」ということは成り立たないなら悪酔いする
事実11: 設定契約は制止す
事実12: 仮にあの岐阜城は製品流通前なら「それは設定契約でしかも介護するということはない」ということは事実と異なる
事実13: あの岐阜城は製品流通前である
事実14: もしも「なにがしかのものは製造部長でないかまたは撤退コストであるかもしくはどちらもだ」ということは成り立てばそれは製造部長でない
事実15: 仮に「あの戦闘状態は製造部長でない」ということは成り立つとすれば「絞り袋でない」ということは成り立つ
事実16: 絞り袋は介護しない一方で不活性化だ
事実17: 仮にとある物が来辛くないか制止すということはないかもしくはどちらもなら悪酔いしない
事実18: あの戦闘状態が絞り袋でないならそのアルミナは絞り袋だ
事実19: もしも「何かは設定契約だが介護しない」ということは誤っていれば設定契約でない
事実20: もし仮にこの七十歳近くは制止すとすれば「あの岐阜城は悪酔いしないけど来辛い」ということは嘘である
事実21: もしあの岐阜城が来辛くないとすると悪酔いしない
事実22: もしこの七十歳近くが悪酔いするけれど来辛くないとするとあの岐阜城は悪酔いする
事実23: 仮に「あの勧誘員は設定契約だ」ということは成り立つとすればあの七十歳近くは設定契約である

仮説: あの岐阜城は悪酔いする
1. 事実8から、推論1: "もし仮にあの岐阜城が制止すなら設定契約だ"が導かれる
2. 仮定1: 以下のように仮定する。あの岐阜城は制止す
3. 推論1と仮定1から、推論2: "あの岐阜城は設定契約である"が導かれる
4. 事実13と事実12から、推論3: "「あの岐阜城は設定契約だ一方で介護するということはない」ということは嘘である"が導かれる
5. 事実19から、推論4: "もし仮に「あの岐阜城は設定契約であるけど介護しない」ということは成り立たないならばそれは設定契約でない"が導かれる
6. 推論3と推論4から、推論5: "あの岐阜城は設定契約でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの岐阜城は制止すらない"が導かれる
9. 推論7から、推論8: "あの岐阜城は来辛くないかもしくは制止すらないかまたは両方である"が導かれる
10. 事実17から、推論9: "もし仮にあの岐阜城は来辛くないかもしくは制止すらないかまたは両方であるとすれば悪酔いしない"が導かれる
11. 推論8と推論9から、仮説が否定される

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