この癌ちゃんは抜け易くない
fact1: もしこの癌ちゃんは抜刀するということはないなら「その鷹は財政構造だということはないかもしくはそれは水色でない」ということは成り立たない fact2: 「その名義書き替え請求は危なくて若者らしい」ということは誤りであるとすると「その三箇月単位は煙たくない」ということは確かである fact3: もし仮にあの火河が煙たいとすればその三箇月単位は危なくなくて更に実行し易くない fact4: その三箇月単位は実行し易くないならば「その名義書き替え請求は推計結果であるということはないがしかし水色だ」ということは本当であるということはない fact5: もし「この癌ちゃんは推計結果でないかあるいは実行し易いということはないかまたは両方である」ということは間違いだとすればそれは水色である fact6: もしも水色が抜け易いならそれは危なくない fact7: 「その名義書き替え請求は実行し易い」ということは成り立つならばあの癌ちゃんは推計結果だということはない fact8: もし仮に何らかのものは推計結果でないとしたら「それは抜刀するということはない」ということは成り立つ fact9: もしもこの癌ちゃんは危なくないとしたら「「その名義書き替え請求は危ないしまた若者らしい」ということは確かである」ということは偽だ fact10: この実験動物が煙たいとしたらあの火河は煙たい fact11: もし仮にこの実験動物が発揮し難くない一方でそれが若者らしいとするとそれは煙たい fact12: もし仮にとあるものは推計結果でないなら抜刀するしさらに抜け易い fact13: もしもその三箇月単位が実行し易いならばその名義書き替え請求は実行し易い fact14: 「この癌ちゃんは素晴らしくないかもしくはそれは過ごせない」ということは成り立たない fact15: この実験動物が戦ぐとすると発揮し難くないしそれは若者らしい fact16: なんらかの物は抜刀するとしたら「この癌ちゃんは推計結果でないかもしくは実行し易くないか両方である」ということは成り立たない fact17: 「抜刀する」ものはある fact18: その三箇月単位は煙たい
fact17 & fact16 -> int1: 「「この癌ちゃんは推計結果でないかまたは実行し易くないかあるいは両方である」ということは偽である」ということは正しい; int1 & fact5 -> int2: この癌ちゃんは水色である; void -> assump1: 以下のように仮定する。この癌ちゃんは抜け易い; int2 & assump1 -> int3: この癌ちゃんは水色であるし抜け易い; fact6 -> int4: 仮にこの癌ちゃんは水色であるししかも抜け易いとすると危なくない; int3 & int4 -> int5: この癌ちゃんは危なくない; int5 & fact9 -> int6: 「その名義書き替え請求は危ないし若者らしい」ということは成り立たない; int6 & fact2 -> int7: その三箇月単位は煙たくない; int7 & fact18 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この癌ちゃんは抜け易い
fact23 -> int9: この癌ちゃんが推計結果でないとすればそれは抜刀するしそれは抜け易い;
$facts$ = fact1: もしこの癌ちゃんは抜刀するということはないなら「その鷹は財政構造だということはないかもしくはそれは水色でない」ということは成り立たない fact2: 「その名義書き替え請求は危なくて若者らしい」ということは誤りであるとすると「その三箇月単位は煙たくない」ということは確かである fact3: もし仮にあの火河が煙たいとすればその三箇月単位は危なくなくて更に実行し易くない fact4: その三箇月単位は実行し易くないならば「その名義書き替え請求は推計結果であるということはないがしかし水色だ」ということは本当であるということはない fact5: もし「この癌ちゃんは推計結果でないかあるいは実行し易いということはないかまたは両方である」ということは間違いだとすればそれは水色である fact6: もしも水色が抜け易いならそれは危なくない fact7: 「その名義書き替え請求は実行し易い」ということは成り立つならばあの癌ちゃんは推計結果だということはない fact8: もし仮に何らかのものは推計結果でないとしたら「それは抜刀するということはない」ということは成り立つ fact9: もしもこの癌ちゃんは危なくないとしたら「「その名義書き替え請求は危ないしまた若者らしい」ということは確かである」ということは偽だ fact10: この実験動物が煙たいとしたらあの火河は煙たい fact11: もし仮にこの実験動物が発揮し難くない一方でそれが若者らしいとするとそれは煙たい fact12: もし仮にとあるものは推計結果でないなら抜刀するしさらに抜け易い fact13: もしもその三箇月単位が実行し易いならばその名義書き替え請求は実行し易い fact14: 「この癌ちゃんは素晴らしくないかもしくはそれは過ごせない」ということは成り立たない fact15: この実験動物が戦ぐとすると発揮し難くないしそれは若者らしい fact16: なんらかの物は抜刀するとしたら「この癌ちゃんは推計結果でないかもしくは実行し易くないか両方である」ということは成り立たない fact17: 「抜刀する」ものはある fact18: その三箇月単位は煙たい ; $hypothesis$ = この癌ちゃんは抜け易くない ; $proof$ = 
fact17 & fact16 -> int1: 「「この癌ちゃんは推計結果でないかまたは実行し易くないかあるいは両方である」ということは偽である」ということは正しい; int1 & fact5 -> int2: この癌ちゃんは水色である; void -> assump1: 以下のように仮定する。この癌ちゃんは抜け易い; int2 & assump1 -> int3: この癌ちゃんは水色であるし抜け易い; fact6 -> int4: 仮にこの癌ちゃんは水色であるししかも抜け易いとすると危なくない; int3 & int4 -> int5: この癌ちゃんは危なくない; int5 & fact9 -> int6: 「その名義書き替え請求は危ないし若者らしい」ということは成り立たない; int6 & fact2 -> int7: その三箇月単位は煙たくない; int7 & fact18 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしこの癌ちゃんは抜刀するということはないなら「その鷹は財政構造だということはないかもしくはそれは水色でない」ということは成り立たない
事実2: 「その名義書き替え請求は危なくて若者らしい」ということは誤りであるとすると「その三箇月単位は煙たくない」ということは確かである
事実3: もし仮にあの火河が煙たいとすればその三箇月単位は危なくなくて更に実行し易くない
事実4: その三箇月単位は実行し易くないならば「その名義書き替え請求は推計結果であるということはないがしかし水色だ」ということは本当であるということはない
事実5: もし「この癌ちゃんは推計結果でないかあるいは実行し易いということはないかまたは両方である」ということは間違いだとすればそれは水色である
事実6: もしも水色が抜け易いならそれは危なくない
事実7: 「その名義書き替え請求は実行し易い」ということは成り立つならばあの癌ちゃんは推計結果だということはない
事実8: もし仮に何らかのものは推計結果でないとしたら「それは抜刀するということはない」ということは成り立つ
事実9: もしもこの癌ちゃんは危なくないとしたら「「その名義書き替え請求は危ないしまた若者らしい」ということは確かである」ということは偽だ
事実10: この実験動物が煙たいとしたらあの火河は煙たい
事実11: もし仮にこの実験動物が発揮し難くない一方でそれが若者らしいとするとそれは煙たい
事実12: もし仮にとあるものは推計結果でないなら抜刀するしさらに抜け易い
事実13: もしもその三箇月単位が実行し易いならばその名義書き替え請求は実行し易い
事実14: 「この癌ちゃんは素晴らしくないかもしくはそれは過ごせない」ということは成り立たない
事実15: この実験動物が戦ぐとすると発揮し難くないしそれは若者らしい
事実16: なんらかの物は抜刀するとしたら「この癌ちゃんは推計結果でないかもしくは実行し易くないか両方である」ということは成り立たない
事実17: 「抜刀する」ものはある
事実18: その三箇月単位は煙たい

仮説: この癌ちゃんは抜け易くない
1. 事実17と事実16から、推論1: "「「この癌ちゃんは推計結果でないかまたは実行し易くないかあるいは両方である」ということは偽である」ということは正しい"が導かれる
2. 推論1と事実5から、推論2: "この癌ちゃんは水色である"が導かれる
3. 仮定1: 以下のように仮定する。この癌ちゃんは抜け易い
4. 推論2と仮定1から、推論3: "この癌ちゃんは水色であるし抜け易い"が導かれる
5. 事実6から、推論4: "仮にこの癌ちゃんは水色であるししかも抜け易いとすると危なくない"が導かれる
6. 推論3と推論4から、推論5: "この癌ちゃんは危なくない"が導かれる
7. 推論5と事実9から、推論6: "「その名義書き替え請求は危ないし若者らしい」ということは成り立たない"が導かれる
8. 推論6と事実2から、推論7: "その三箇月単位は煙たくない"が導かれる
9. 推論7と事実18から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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