この学生監は御濃くないけれど下がれる
fact1: もしも「「その袖ヶ浦人は失速速度であるし懐こい」ということは真実だ」ということは誤りならあの水平的統合は失速速度でない fact2: この学生監は給田しない fact3: もし仮にこの学生監が御濃いとすればそれは失速速度だ fact4: 仮に「なにがしかの物は加入出来ないけれどおっきい」ということは誤りだとすると統計結果だ fact5: そのＦＥＤは懐こくない fact6: もしもなにがしかの物は卑しいなら「それは加入出来るということはないけどおっきい」ということは事実でない fact7: 「眠れる」ものはあるとすれば「この理工学部は卑しくないしその上川越人足でない」ということは間違いである fact8: もしもこの圧縮が他愛無くないとするとそれは増え難くてヒッチハイクする fact9: この学生監が給田しないとしたらそれは総収入額でない fact10: 仮にあの水平的統合は失速速度でないなら「この学生監は御濃くないけれど下がれる」ということは嘘だ fact11: 何らかのものは眠れる fact12: この学生監は懐こくなくて加えてそれは失速速度でない fact13: 「この理工学部は卑しくないしその上それは川越人足でない」ということは誤りならばそれは卑しい fact14: 御濃い物は項目軸でなくておまけに給田しない fact15: その其方側は給田しない fact16: なにがしかの物は増え難くないなら「失速速度であるし更に懐こい」ということは正しくない fact17: もしこの学生監が総収入額だということはないなら下がれるし増え難い fact18: もしとあるものは統計結果だとすると「総収入額であるかもしくは給田しないかもしくはどちらもである」ということは間違っている fact19: この学生監はガーゼでない
void -> assump1: 以下のように仮定する。「この学生監は御濃い」ということは事実である; fact3 & assump1 -> int1: この学生監は失速速度だ; fact12 -> int2: この学生監は失速速度であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この学生監は御濃くない; fact9 & fact2 -> int5: この学生監は総収入額でない; int5 & fact17 -> int6: 「この学生監は下がれるし増え難い」ということは本当だ; int6 -> int7: この学生監は下がれる; int4 & int7 -> hypothesis;
「この学生監は御濃くないが下がれる」ということは成り立たない
fact20 -> int8: その袖ヶ浦人は増え難くないなら「それは失速速度であるしおまけに懐こい」ということは成り立たない; fact21 -> int9: 「この理工学部は統計結果だ」ということは成り立つとすれば「それは総収入額であるか給田しない」ということは誤っている; fact22 -> int10: もし「この理工学部は加入出来ないがしかしおっきい」ということは成り立たないとすると統計結果である; fact24 -> int11: もしもこの理工学部は卑しいなら「加入出来ないししかもそれはおっきい」ということは成り立つということはない; fact25 & fact23 -> int12: 「この理工学部は卑しくないし更に川越人足であるということはない」ということは間違いである; fact28 & int12 -> int13: この理工学部は卑しい; int11 & int13 -> int14: 「この理工学部は加入出来ないけれどおっきい」ということは真実でない; int10 & int14 -> int15: この理工学部は統計結果だ; int9 & int15 -> int16: 「この理工学部は総収入額であるか給田しないかまたはどちらもである」ということは偽である; int16 -> int17: 「「総収入額であるかあるいは給田しない」ということは成り立たない」物はある;
$facts$ = fact1: もしも「「その袖ヶ浦人は失速速度であるし懐こい」ということは真実だ」ということは誤りならあの水平的統合は失速速度でない fact2: この学生監は給田しない fact3: もし仮にこの学生監が御濃いとすればそれは失速速度だ fact4: 仮に「なにがしかの物は加入出来ないけれどおっきい」ということは誤りだとすると統計結果だ fact5: そのＦＥＤは懐こくない fact6: もしもなにがしかの物は卑しいなら「それは加入出来るということはないけどおっきい」ということは事実でない fact7: 「眠れる」ものはあるとすれば「この理工学部は卑しくないしその上川越人足でない」ということは間違いである fact8: もしもこの圧縮が他愛無くないとするとそれは増え難くてヒッチハイクする fact9: この学生監が給田しないとしたらそれは総収入額でない fact10: 仮にあの水平的統合は失速速度でないなら「この学生監は御濃くないけれど下がれる」ということは嘘だ fact11: 何らかのものは眠れる fact12: この学生監は懐こくなくて加えてそれは失速速度でない fact13: 「この理工学部は卑しくないしその上それは川越人足でない」ということは誤りならばそれは卑しい fact14: 御濃い物は項目軸でなくておまけに給田しない fact15: その其方側は給田しない fact16: なにがしかの物は増え難くないなら「失速速度であるし更に懐こい」ということは正しくない fact17: もしこの学生監が総収入額だということはないなら下がれるし増え難い fact18: もしとあるものは統計結果だとすると「総収入額であるかもしくは給田しないかもしくはどちらもである」ということは間違っている fact19: この学生監はガーゼでない ; $hypothesis$ = この学生監は御濃くないけれど下がれる ; $proof$ = 
void -> assump1: 以下のように仮定する。「この学生監は御濃い」ということは事実である; fact3 & assump1 -> int1: この学生監は失速速度だ; fact12 -> int2: この学生監は失速速度であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この学生監は御濃くない; fact9 & fact2 -> int5: この学生監は総収入額でない; int5 & fact17 -> int6: 「この学生監は下がれるし増え難い」ということは本当だ; int6 -> int7: この学生監は下がれる; int4 & int7 -> hypothesis; __PROVED__
事実1: もしも「「その袖ヶ浦人は失速速度であるし懐こい」ということは真実だ」ということは誤りならあの水平的統合は失速速度でない
事実2: この学生監は給田しない
事実3: もし仮にこの学生監が御濃いとすればそれは失速速度だ
事実4: 仮に「なにがしかの物は加入出来ないけれどおっきい」ということは誤りだとすると統計結果だ
事実5: そのＦＥＤは懐こくない
事実6: もしもなにがしかの物は卑しいなら「それは加入出来るということはないけどおっきい」ということは事実でない
事実7: 「眠れる」ものはあるとすれば「この理工学部は卑しくないしその上川越人足でない」ということは間違いである
事実8: もしもこの圧縮が他愛無くないとするとそれは増え難くてヒッチハイクする
事実9: この学生監が給田しないとしたらそれは総収入額でない
事実10: 仮にあの水平的統合は失速速度でないなら「この学生監は御濃くないけれど下がれる」ということは嘘だ
事実11: 何らかのものは眠れる
事実12: この学生監は懐こくなくて加えてそれは失速速度でない
事実13: 「この理工学部は卑しくないしその上それは川越人足でない」ということは誤りならばそれは卑しい
事実14: 御濃い物は項目軸でなくておまけに給田しない
事実15: その其方側は給田しない
事実16: なにがしかの物は増え難くないなら「失速速度であるし更に懐こい」ということは正しくない
事実17: もしこの学生監が総収入額だということはないなら下がれるし増え難い
事実18: もしとあるものは統計結果だとすると「総収入額であるかもしくは給田しないかもしくはどちらもである」ということは間違っている
事実19: この学生監はガーゼでない

仮説: この学生監は御濃くないけれど下がれる
1. 仮定1: 以下のように仮定する。「この学生監は御濃い」ということは事実である
2. 事実3と仮定1から、推論1: "この学生監は失速速度だ"が導かれる
3. 事実12から、推論2: "この学生監は失速速度であるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この学生監は御濃くない"が導かれる
6. 事実9と事実2から、推論5: "この学生監は総収入額でない"が導かれる
7. 推論5と事実17から、推論6: "「この学生監は下がれるし増え難い」ということは本当だ"が導かれる
8. 推論6から、推論7: "この学生監は下がれる"が導かれる
9. 推論4と推論7から、仮説が導かれる

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