あの合理的期待形成学派は溶け出す
fact1: もし「なにかは短縮化しない一方で漏れ易い」ということは誤っているとしたら短縮化する fact2: このＤＦＤＲが年少であるし踏み込めばこの病院報告は踏み込まない fact3: 「なんらかのものは欲深いが受け戻さない」ということは間違っているとすれば受け戻す fact4: もし仮にその水分子はちょろくないとしたら「あのエクストラシナリオは欲深いがしかし受け戻さない」ということは嘘である fact5: もしあの現実政治は打ち所だとしたら「あの合理的期待形成学派は短縮化するということはないけどそれは漏れ易い」ということは成り立たない fact6: もし仮に「あの大規模は御取りに成る一方で付けない」ということは誤っているならあの合理的期待形成学派は溶け出す fact7: 「あの合理的期待形成学派は溶け出すということはないけど短縮化する」ということは偽であるならこの脱植民地化は溶け出す fact8: このＤＦＤＲは踏み込むし整理縮小だ fact9: 広ーいものは実行出来ないかあるいはちょろくないかまたは両方だ fact10: この病院報告がちょろくないとすればあの水分子はちょろくない fact11: もしなにがしかのものが踏み込まないならそれは焼却するしおまけにそれは広ーい fact12: 漏れ易くない物は打ち所である fact13: 全てはちょろくない fact14: ＩＰパケットは年少だ fact15: なんらかのものは打ち所ならば「あの合理的期待形成学派は溶け出さない一方で短縮化する」ということは成り立たない fact16: もし何かはちょろくないとすれば「それは受け戻すしそれは漏れ易い」ということは間違っている fact17: 仮に「なにかは打ち所でないし更に受け戻さない」ということは間違いであるとすると打ち所だ fact18: 仮にこの病院報告が実行出来ないとするとその水分子はちょろくない fact19: 何らかのものは御取りに成るけど付けないならばそれは短縮化する fact20: このＤＦＤＲはＩＰパケットだ fact21: もし仮に何らかの物が短縮化すれば溶け出さない fact22: 仮になにかは溶け出せばそれはメイドでないしかつそれは付けない fact23: あの大規模は短縮化するということはないしそれにそれは打ち所でない
fact19 -> int1: あの大規模が御取りに成るけど付けないなら短縮化する; void -> assump1: 以下のように仮定する。あの大規模は御取りに成るが付けない; int1 & assump1 -> int2: あの大規模は短縮化する; fact23 -> int3: 「あの大規模は短縮化するということはない」ということは事実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの大規模は御取りに成るけど付けない」ということは成り立たない; int5 & fact6 -> hypothesis;
あの合理的期待形成学派は溶け出さない
fact29 -> int6: もし仮にあの合理的期待形成学派が短縮化するならそれは溶け出さない; fact26 -> int7: もし仮に「あの合理的期待形成学派は短縮化しないが漏れ易い」ということは成り立たないならば短縮化する; fact37 -> int8: もしも「あの現実政治は打ち所でないしまた受け戻さない」ということは成り立たないとしたら打ち所である; fact27 -> int9: もし仮に「あのエクストラシナリオは欲深いが受け戻さない」ということは偽ならそれは受け戻す; fact35 -> int10: この病院報告が広ーいとすると実行出来ないかあるいはちょろくない; fact24 -> int11: もしこの病院報告が踏み込まないならそれは焼却するしかつ広ーい; fact28 -> int12: このＤＦＤＲがＩＰパケットだとすると年少だ; int12 & fact30 -> int13: このＤＦＤＲは年少である; fact33 -> int14: このＤＦＤＲは踏み込む; int13 & int14 -> int15: このＤＦＤＲが年少だしそれに踏み込む; fact25 & int15 -> int16: この病院報告は踏み込まない; int11 & int16 -> int17: 「この病院報告は焼却するしおまけに広ーい」ということは事実だ; int17 -> int18: この病院報告は広ーい; int10 & int18 -> int19: この病院報告は実行出来るということはないかそれはちょろくない; int19 & fact31 & fact34 -> int20: その水分子はちょろくない; fact36 & int20 -> int21: 「あのエクストラシナリオは欲深い一方で受け戻さない」ということは成り立たない; int9 & int21 -> int22: あのエクストラシナリオは受け戻す; int22 -> int23: 「受け戻す」物はある;
$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$ = 
fact19 -> int1: あの大規模が御取りに成るけど付けないなら短縮化する; void -> assump1: 以下のように仮定する。あの大規模は御取りに成るが付けない; int1 & assump1 -> int2: あの大規模は短縮化する; fact23 -> int3: 「あの大規模は短縮化するということはない」ということは事実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの大規模は御取りに成るけど付けない」ということは成り立たない; int5 & fact6 -> hypothesis; __PROVED__
事実1: もし「なにかは短縮化しない一方で漏れ易い」ということは誤っているとしたら短縮化する
事実2: このＤＦＤＲが年少であるし踏み込めばこの病院報告は踏み込まない
事実3: 「なんらかのものは欲深いが受け戻さない」ということは間違っているとすれば受け戻す
事実4: もし仮にその水分子はちょろくないとしたら「あのエクストラシナリオは欲深いがしかし受け戻さない」ということは嘘である
事実5: もしあの現実政治は打ち所だとしたら「あの合理的期待形成学派は短縮化するということはないけどそれは漏れ易い」ということは成り立たない
事実6: もし仮に「あの大規模は御取りに成る一方で付けない」ということは誤っているならあの合理的期待形成学派は溶け出す
事実7: 「あの合理的期待形成学派は溶け出すということはないけど短縮化する」ということは偽であるならこの脱植民地化は溶け出す
事実8: このＤＦＤＲは踏み込むし整理縮小だ
事実9: 広ーいものは実行出来ないかあるいはちょろくないかまたは両方だ
事実10: この病院報告がちょろくないとすればあの水分子はちょろくない
事実11: もしなにがしかのものが踏み込まないならそれは焼却するしおまけにそれは広ーい
事実12: 漏れ易くない物は打ち所である
事実13: 全てはちょろくない
事実14: ＩＰパケットは年少だ
事実15: なんらかのものは打ち所ならば「あの合理的期待形成学派は溶け出さない一方で短縮化する」ということは成り立たない
事実16: もし何かはちょろくないとすれば「それは受け戻すしそれは漏れ易い」ということは間違っている
事実17: 仮に「なにかは打ち所でないし更に受け戻さない」ということは間違いであるとすると打ち所だ
事実18: 仮にこの病院報告が実行出来ないとするとその水分子はちょろくない
事実19: 何らかのものは御取りに成るけど付けないならばそれは短縮化する
事実20: このＤＦＤＲはＩＰパケットだ
事実21: もし仮に何らかの物が短縮化すれば溶け出さない
事実22: 仮になにかは溶け出せばそれはメイドでないしかつそれは付けない
事実23: あの大規模は短縮化するということはないしそれにそれは打ち所でない

仮説: あの合理的期待形成学派は溶け出す
1. 事実19から、推論1: "あの大規模が御取りに成るけど付けないなら短縮化する"が導かれる
2. 仮定1: 以下のように仮定する。あの大規模は御取りに成るが付けない
3. 推論1と仮定1から、推論2: "あの大規模は短縮化する"が導かれる
4. 事実23から、推論3: "「あの大規模は短縮化するということはない」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの大規模は御取りに成るけど付けない」ということは成り立たない"が導かれる
7. 推論5と事実6から、仮説が導かれる

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