この内反膝は淡々斎筆でない
fact1: 「そのイラスト入りは訳無い」ということは成り立つ fact2: そのイラスト入りは訳無いし加えてそれは極め付けである fact3: もしその情報操作が窪むとしたらそれは間借りする fact4: 全ての物は訳無い fact5: 「何もかもはシェークするしおまけに訳無い」ということは事実である fact6: その情報操作は物珍しくてさらに出席出来る fact7: この内反膝は窪む fact8: 仮にそのイラスト入りがシェークしないか窪まないかあるいはどちらもであるならその情報操作は窪む fact9: 「もし仮に弱々しい物は間借りすれば「極め付けでない」ということは成り立つ」ということは事実である fact10: この対馬丸は荒っぽいということはない fact11: 仮に「なにがしかのものは極め付けでない一方でそれは出席出来る」ということは成り立たないとすれば「出席出来ない」ということは事実である fact12: もし仮に何らかのものが出席出来ないならばそれは物珍しいということはないかあるいは弱々しいかあるいは両方である fact13: その情報操作は出席出来る fact14: もし仮に「その情報操作は物珍しくないかもしくは弱々しいかまたは両方ともである」ということは本当だとすればこの内反膝は物珍しくない fact15: その情報操作は物珍しいならば「この内反膝は弱々しい」ということは本当である fact16: 物珍しくないものは淡々斎筆でない fact17: もしもそのイラスト入りは訳無いとすれば「シェークしないかあるいは窪むということはないかもしくは両方である」ということは成り立つ fact18: なんらかのものが間借りしないならそれは窪む fact19: そのイラスト入りはシェークすれば「この内反膝は極め付けだ」ということは真実である fact20: もしもこの内反膝が間借りするということはないならばそれは窪む fact21: 仮にこの内反膝が訳無くないとするとそれはシェークするしさらに弱々しい fact22: 「すべての物は走り易いしまた酸っぱい」ということは成り立つ fact23: もし仮に何らかの物が間借りしないならばそれは窪むしかつ淡々斎筆である
fact6 -> int1: その情報操作は物珍しい; int1 & fact15 -> int2: この内反膝は弱々しい; void -> assump1: 以下のように仮定する。この内反膝は間借りする; int2 & assump1 -> int3: この内反膝は弱々しくて間借りする; fact9 -> int4: もし仮にこの内反膝は弱々しいし間借りするなら極め付けでない; int3 & int4 -> int5: この内反膝は極め付けでない; fact5 -> int6: そのイラスト入りはシェークするし訳無い; int6 -> int7: そのイラスト入りはシェークする; int7 & fact19 -> int8: この内反膝は極め付けだ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この内反膝は間借りしない; fact23 -> int11: 仮にこの内反膝が間借りしないならそれは窪むし加えてそれは淡々斎筆だ; int10 & int11 -> int12: この内反膝は窪むし更に淡々斎筆である; int12 -> hypothesis;
この内反膝は淡々斎筆でない
fact30 -> int13: 仮にこの内反膝は物珍しくないとすると「それは淡々斎筆でない」ということは成り立つ; fact26 -> int14: もし仮にその情報操作は出席出来ないとしたら「物珍しいということはないかまたは弱々しいかもしくは両方だ」ということは確かだ; fact25 -> int15: 仮に「その情報操作は極め付けでないが出席出来る」ということは成り立たないとすれば出席出来るということはない;
$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$ = 
fact6 -> int1: その情報操作は物珍しい; int1 & fact15 -> int2: この内反膝は弱々しい; void -> assump1: 以下のように仮定する。この内反膝は間借りする; int2 & assump1 -> int3: この内反膝は弱々しくて間借りする; fact9 -> int4: もし仮にこの内反膝は弱々しいし間借りするなら極め付けでない; int3 & int4 -> int5: この内反膝は極め付けでない; fact5 -> int6: そのイラスト入りはシェークするし訳無い; int6 -> int7: そのイラスト入りはシェークする; int7 & fact19 -> int8: この内反膝は極め付けだ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この内反膝は間借りしない; fact23 -> int11: 仮にこの内反膝が間借りしないならそれは窪むし加えてそれは淡々斎筆だ; int10 & int11 -> int12: この内反膝は窪むし更に淡々斎筆である; int12 -> 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. 事実6から、推論1: "その情報操作は物珍しい"が導かれる
2. 推論1と事実15から、推論2: "この内反膝は弱々しい"が導かれる
3. 仮定1: 以下のように仮定する。この内反膝は間借りする
4. 推論2と仮定1から、推論3: "この内反膝は弱々しくて間借りする"が導かれる
5. 事実9から、推論4: "もし仮にこの内反膝は弱々しいし間借りするなら極め付けでない"が導かれる
6. 推論3と推論4から、推論5: "この内反膝は極め付けでない"が導かれる
7. 事実5から、推論6: "そのイラスト入りはシェークするし訳無い"が導かれる
8. 推論6から、推論7: "そのイラスト入りはシェークする"が導かれる
9. 推論7と事実19から、推論8: "この内反膝は極め付けだ"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この内反膝は間借りしない"が導かれる
12. 事実23から、推論11: "仮にこの内反膝が間借りしないならそれは窪むし加えてそれは淡々斎筆だ"が導かれる
13. 推論10と推論11から、推論12: "この内反膝は窪むし更に淡々斎筆である"が導かれる
14. 推論12から、仮説が否定される

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