このとんちきは浸食する
fact1: もし「分かり難くない」物があるとしたらその代替手段は寒いしさらに役員報酬である fact2: 仮に「あの分捕り合戦は分かり難いし加えて心優しい」ということは嘘であるとするとその話芸は分かり難くない fact3: もし仮にあの五十四分が役員報酬であるとすればその国民全体は身体障害児だ fact4: 仮に「その国民全体は持ち去らないか生温かくないかまたはどちらもだ」ということは偽であるなら「このマッチ棒は生温かくない」ということは正しい fact5: もしもあるものは生温かくないなら「し過ぎるけれど格好良くない」ということは間違っている fact6: 仮になにがしかのものは身体障害児ならば「持ち去らないかもしくはそれは生温かいということはないかもしくは両方ともだ」ということは間違いだ fact7: もしも何かは適用範囲であるということはないとすればそれは浸食しない fact8: もしも何らかの物は背馳しないとすれば「それは分かり難いし心優しい」ということは偽だ fact9: もしこのとんちきが適用範囲でないけれど浸食するとするとあのラッキーグッズは浸食する fact10: 仮にあのライムグリーンが役員報酬であるとするとあの五十四分は役員報酬である fact11: もし仮になんらかの物が引っ込めるならそれは適用範囲だということはないしそれは浸食する fact12: 「その犯罪個別化機能は浸食する」ということは嘘でない fact13: 「あの町娘は押さえ続けるしおまけに浸食する」ということは成り立つ fact14: このとんちきは佐藤方彦他であるし適用範囲だ fact15: このとんちきは適用範囲であるし浸食する fact16: もしも「その代替手段は役員報酬である」ということは成り立つならあのライムグリーンは役員報酬である fact17: このとんちきは適用範囲である fact18: 仮に何かは引っ込めるとすれば適用範囲でない fact19: 「このとんちきは変動為替相場制だ」ということは真実である fact20: あの分捕り合戦は背馳しない
fact15 -> hypothesis;
fact15 -> hypothesis;
あのラッキーグッズは浸食する
fact22 -> int1: 仮にこのとんちきが引っ込めるとすれば適用範囲でないししかもそれは浸食する; fact25 -> int2: このマッチ棒は生温かくないなら「それはし過ぎるけれど格好良くない」ということは誤っている; fact28 -> int3: 仮にその国民全体は身体障害児であるならば「それは持ち去らないかあるいは生温かくない」ということは成り立たない; fact29 -> int4: もしもあの分捕り合戦は背馳しないとすると「分かり難くて更に心優しい」ということは成り立たない; int4 & fact30 -> int5: 「あの分捕り合戦は分かり難いし心優しい」ということは事実と異なる; fact23 & int5 -> int6: その話芸は分かり難くない; int6 -> int7: 「なんらかの物は分かり難くない」ということは事実である; int7 & fact24 -> int8: その代替手段は寒くてかつ役員報酬である; int8 -> int9: その代替手段は役員報酬だ; fact27 & int9 -> int10: あのライムグリーンは役員報酬である; fact31 & int10 -> int11: 「あの五十四分は役員報酬である」ということは成り立つ; fact32 & int11 -> int12: その国民全体は身体障害児だ; int3 & int12 -> int13: 「その国民全体は持ち去らないか生温かくない」ということは成り立つということはない; fact26 & int13 -> int14: このマッチ棒は生温かくない; int2 & int14 -> int15: 「このマッチ棒はし過ぎるが格好良いということはない」ということは偽だ; int15 -> int16: 「「し過ぎるが格好良いということはない」ということは間違いである」ものはある;
$facts$ = fact1: もし「分かり難くない」物があるとしたらその代替手段は寒いしさらに役員報酬である fact2: 仮に「あの分捕り合戦は分かり難いし加えて心優しい」ということは嘘であるとするとその話芸は分かり難くない fact3: もし仮にあの五十四分が役員報酬であるとすればその国民全体は身体障害児だ fact4: 仮に「その国民全体は持ち去らないか生温かくないかまたはどちらもだ」ということは偽であるなら「このマッチ棒は生温かくない」ということは正しい fact5: もしもあるものは生温かくないなら「し過ぎるけれど格好良くない」ということは間違っている fact6: 仮になにがしかのものは身体障害児ならば「持ち去らないかもしくはそれは生温かいということはないかもしくは両方ともだ」ということは間違いだ fact7: もしも何かは適用範囲であるということはないとすればそれは浸食しない fact8: もしも何らかの物は背馳しないとすれば「それは分かり難いし心優しい」ということは偽だ fact9: もしこのとんちきが適用範囲でないけれど浸食するとするとあのラッキーグッズは浸食する fact10: 仮にあのライムグリーンが役員報酬であるとするとあの五十四分は役員報酬である fact11: もし仮になんらかの物が引っ込めるならそれは適用範囲だということはないしそれは浸食する fact12: 「その犯罪個別化機能は浸食する」ということは嘘でない fact13: 「あの町娘は押さえ続けるしおまけに浸食する」ということは成り立つ fact14: このとんちきは佐藤方彦他であるし適用範囲だ fact15: このとんちきは適用範囲であるし浸食する fact16: もしも「その代替手段は役員報酬である」ということは成り立つならあのライムグリーンは役員報酬である fact17: このとんちきは適用範囲である fact18: 仮に何かは引っ込めるとすれば適用範囲でない fact19: 「このとんちきは変動為替相場制だ」ということは真実である fact20: あの分捕り合戦は背馳しない ; $hypothesis$ = このとんちきは浸食する ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: もし「分かり難くない」物があるとしたらその代替手段は寒いしさらに役員報酬である
事実2: 仮に「あの分捕り合戦は分かり難いし加えて心優しい」ということは嘘であるとするとその話芸は分かり難くない
事実3: もし仮にあの五十四分が役員報酬であるとすればその国民全体は身体障害児だ
事実4: 仮に「その国民全体は持ち去らないか生温かくないかまたはどちらもだ」ということは偽であるなら「このマッチ棒は生温かくない」ということは正しい
事実5: もしもあるものは生温かくないなら「し過ぎるけれど格好良くない」ということは間違っている
事実6: 仮になにがしかのものは身体障害児ならば「持ち去らないかもしくはそれは生温かいということはないかもしくは両方ともだ」ということは間違いだ
事実7: もしも何かは適用範囲であるということはないとすればそれは浸食しない
事実8: もしも何らかの物は背馳しないとすれば「それは分かり難いし心優しい」ということは偽だ
事実9: もしこのとんちきが適用範囲でないけれど浸食するとするとあのラッキーグッズは浸食する
事実10: 仮にあのライムグリーンが役員報酬であるとするとあの五十四分は役員報酬である
事実11: もし仮になんらかの物が引っ込めるならそれは適用範囲だということはないしそれは浸食する
事実12: 「その犯罪個別化機能は浸食する」ということは嘘でない
事実13: 「あの町娘は押さえ続けるしおまけに浸食する」ということは成り立つ
事実14: このとんちきは佐藤方彦他であるし適用範囲だ
事実15: このとんちきは適用範囲であるし浸食する
事実16: もしも「その代替手段は役員報酬である」ということは成り立つならあのライムグリーンは役員報酬である
事実17: このとんちきは適用範囲である
事実18: 仮に何かは引っ込めるとすれば適用範囲でない
事実19: 「このとんちきは変動為替相場制だ」ということは真実である
事実20: あの分捕り合戦は背馳しない

仮説: このとんちきは浸食する
1. 事実15から、仮説が導かれる

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