この発展学習は内示である
fact1: もし人間以下は突厥帝国であるならそれは開示請求しない fact2: もしもある物は開示請求するということはないならば「口汚いけど御出で下さるということはない」ということは嘘だ fact3: もしもなにかは見付け易いとすると「それは内示だ」ということは成り立つ fact4: もし仮にある物は口汚いということはないかあるいは見付け易いかまたは両方であるとすれば御出で下さる fact5: もし仮に何らかのものがスケジュール帳ならそれは仲違いしない fact6: この発展学習は人間以下でない fact7: もしこの発展学習が奉らないとしたらそれが人間以下だしそれは突厥帝国である fact8: 仮にこの左肘が社会的領域でないかそれは延長出来るなら「軽んずる」ということは事実だ fact9: もしもなにかは御出で下さるとするとそれは突厥帝国でない fact10: 内示は口汚くない fact11: もし仮に「この発展学習は突厥帝国でない一方でそれは開示請求する」ということは間違いであるとしたら御出で下さらない fact12: 「なんらかのものは口汚いけど御出で下さらない」ということは偽だとすればそれは見付け易い fact13: もしこの発展学習は人間以下でないとしたら「突厥帝国でないけれど開示請求する」ということは成り立たない fact14: もし仮に「この発展学習は関係深くないけれどそれは擱座する」ということは成り立たないならそれは人間以下でない fact15: 仮に「「この訪米は凶器準備集合罪であるということはないがしかし点滴注射である」ということは成り立つ」ということは嘘であるならばそれはビデオファイルでない
fact10 -> int1: もし仮にこの発展学習は内示であるとしたらそれは口汚いということはない; void -> assump1: 以下のように仮定する。この発展学習は内示だ; int1 & assump1 -> int2: この発展学習は口汚くない; int2 -> int3: この発展学習は口汚くないかまたは見付け易いか両方ともである; fact4 -> int4: もし仮にこの発展学習が口汚くないか見付け易いとしたらそれは御出で下さる; int3 & int4 -> int5: この発展学習は御出で下さる; fact13 & fact6 -> int6: 「この発展学習は突厥帝国でないが開示請求する」ということは嘘だ; int6 & fact11 -> int7: この発展学習は御出で下さるということはない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「この発展学習は内示である」ということは成り立つ
fact17 -> int9: 仮にこの発展学習は見付け易いとしたら「内示である」ということは間違いでない; fact18 -> int10: 仮に「この発展学習は口汚いが御出で下さるということはない」ということは間違っているなら「見付け易い」ということは真実である; fact16 -> int11: この発展学習は開示請求しないとすると「口汚くておまけにそれは御出で下さらない」ということは誤りだ; fact20 -> int12: この発展学習は人間以下であるしまた突厥帝国なら「開示請求するということはない」ということは成り立つ;
$facts$ = fact1: もし人間以下は突厥帝国であるならそれは開示請求しない fact2: もしもある物は開示請求するということはないならば「口汚いけど御出で下さるということはない」ということは嘘だ fact3: もしもなにかは見付け易いとすると「それは内示だ」ということは成り立つ fact4: もし仮にある物は口汚いということはないかあるいは見付け易いかまたは両方であるとすれば御出で下さる fact5: もし仮に何らかのものがスケジュール帳ならそれは仲違いしない fact6: この発展学習は人間以下でない fact7: もしこの発展学習が奉らないとしたらそれが人間以下だしそれは突厥帝国である fact8: 仮にこの左肘が社会的領域でないかそれは延長出来るなら「軽んずる」ということは事実だ fact9: もしもなにかは御出で下さるとするとそれは突厥帝国でない fact10: 内示は口汚くない fact11: もし仮に「この発展学習は突厥帝国でない一方でそれは開示請求する」ということは間違いであるとしたら御出で下さらない fact12: 「なんらかのものは口汚いけど御出で下さらない」ということは偽だとすればそれは見付け易い fact13: もしこの発展学習は人間以下でないとしたら「突厥帝国でないけれど開示請求する」ということは成り立たない fact14: もし仮に「この発展学習は関係深くないけれどそれは擱座する」ということは成り立たないならそれは人間以下でない fact15: 仮に「「この訪米は凶器準備集合罪であるということはないがしかし点滴注射である」ということは成り立つ」ということは嘘であるならばそれはビデオファイルでない ; $hypothesis$ = この発展学習は内示である ; $proof$ = 
fact10 -> int1: もし仮にこの発展学習は内示であるとしたらそれは口汚いということはない; void -> assump1: 以下のように仮定する。この発展学習は内示だ; int1 & assump1 -> int2: この発展学習は口汚くない; int2 -> int3: この発展学習は口汚くないかまたは見付け易いか両方ともである; fact4 -> int4: もし仮にこの発展学習が口汚くないか見付け易いとしたらそれは御出で下さる; int3 & int4 -> int5: この発展学習は御出で下さる; fact13 & fact6 -> int6: 「この発展学習は突厥帝国でないが開示請求する」ということは嘘だ; int6 & fact11 -> int7: この発展学習は御出で下さるということはない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もし人間以下は突厥帝国であるならそれは開示請求しない
事実2: もしもある物は開示請求するということはないならば「口汚いけど御出で下さるということはない」ということは嘘だ
事実3: もしもなにかは見付け易いとすると「それは内示だ」ということは成り立つ
事実4: もし仮にある物は口汚いということはないかあるいは見付け易いかまたは両方であるとすれば御出で下さる
事実5: もし仮に何らかのものがスケジュール帳ならそれは仲違いしない
事実6: この発展学習は人間以下でない
事実7: もしこの発展学習が奉らないとしたらそれが人間以下だしそれは突厥帝国である
事実8: 仮にこの左肘が社会的領域でないかそれは延長出来るなら「軽んずる」ということは事実だ
事実9: もしもなにかは御出で下さるとするとそれは突厥帝国でない
事実10: 内示は口汚くない
事実11: もし仮に「この発展学習は突厥帝国でない一方でそれは開示請求する」ということは間違いであるとしたら御出で下さらない
事実12: 「なんらかのものは口汚いけど御出で下さらない」ということは偽だとすればそれは見付け易い
事実13: もしこの発展学習は人間以下でないとしたら「突厥帝国でないけれど開示請求する」ということは成り立たない
事実14: もし仮に「この発展学習は関係深くないけれどそれは擱座する」ということは成り立たないならそれは人間以下でない
事実15: 仮に「「この訪米は凶器準備集合罪であるということはないがしかし点滴注射である」ということは成り立つ」ということは嘘であるならばそれはビデオファイルでない

仮説: この発展学習は内示である
1. 事実10から、推論1: "もし仮にこの発展学習は内示であるとしたらそれは口汚いということはない"が導かれる
2. 仮定1: 以下のように仮定する。この発展学習は内示だ
3. 推論1と仮定1から、推論2: "この発展学習は口汚くない"が導かれる
4. 推論2から、推論3: "この発展学習は口汚くないかまたは見付け易いか両方ともである"が導かれる
5. 事実4から、推論4: "もし仮にこの発展学習が口汚くないか見付け易いとしたらそれは御出で下さる"が導かれる
6. 推論3と推論4から、推論5: "この発展学習は御出で下さる"が導かれる
7. 事実13と事実6から、推論6: "「この発展学習は突厥帝国でないが開示請求する」ということは嘘だ"が導かれる
8. 推論6と事実11から、推論7: "この発展学習は御出で下さるということはない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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