あの上田城攻めは決め難くなくてしかもそれは燃え易くない
fact1: 仮にそのアイロンは三次元オブジェクトでないなら「都市階層でない」ということは成り立つ fact2: あの全業種は澄まさないがしかしミニストリーだ fact3: もしもある物は三次元オブジェクトでないならば「それは都市階層でない」ということは成り立つ fact4: あの上田城攻めは決め難くない fact5: 「何らかのものは新本店所在地でないけどそれはカムフラージュする」ということは間違っているなら日本酒でない fact6: あの貴方次第は日本酒だ fact7: もしあの貴方次第は日本酒であるとすると都市階層だ fact8: あの貴方次第は甚だし fact9: もし仮にそのアイロンが都市階層でないとするとあの貴方次第は都市階層でないがしかし甚だし fact10: もしなにがしかの物は東洋メタライジングでないなら「決め難くない物であり燃え易くない」ということは真実でない fact11: もし仮に「そのアイロンは東洋メタライジングでない」ということは成り立つとしたらあの上田城攻めは決め難くなくて燃え易くない fact12: なんらかの物が電化するならそれは供えらないか商事部門であるかどちらもだ fact13: もし仮になにがしかのものはトラブるないとすると「新本店所在地でないしそれにカムフラージュする」ということは成り立たない fact14: 東洋メタライジングは三次元オブジェクトでないか評するかもしくは両方ともだ fact15: もしも印象深くないものが逆照射しないならばトラブるということはない fact16: もしもなにがしかの物は三次元オブジェクトでないかもしくは評するかもしくは両方ともだとすると都市階層でない fact17: もしもその四百ミリリットル分が甚だしとすればあの貴方次第は甚だし fact18: もしもそのアイロンが都市階層であるということはないならあの貴方次第は甚だし fact19: もしもあの全業種が間近いとすると印象深くないし更にそれは逆照射しない fact20: もしあの全業種が日本酒でないとするとその四百ミリリットル分は甚だしかし辛い fact21: もしあの全業種が澄まさないがしかしそれはミニストリーであるなら間近い fact22: そのアイロンは三次元オブジェクトであるかそれは評する
fact14 -> int1: もし仮にそのアイロンが東洋メタライジングであるとすれば三次元オブジェクトでないかもしくは評するかもしくはどちらもである; void -> assump1: 以下のように仮定する。そのアイロンは東洋メタライジングである; int1 & assump1 -> int2: そのアイロンは三次元オブジェクトでないかもしくはそれは評するかもしくは両方ともだ; fact16 -> int3: そのアイロンが三次元オブジェクトでないかあるいは評するならそれは都市階層であるということはない; int2 & int3 -> int4: そのアイロンは都市階層でない; int4 & fact9 -> int5: あの貴方次第は都市階層でない一方で甚だし; int5 -> int6: あの貴方次第は都市階層でない; fact6 & fact7 -> int7: あの貴方次第は都市階層だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのアイロンは東洋メタライジングでない; int9 & fact11 -> hypothesis;
もしこの資格審査が電化するなら供えらないかそれは商事部門であるかあるいはどちらもである
fact23 -> hypothesis;
$facts$ = fact1: 仮にそのアイロンは三次元オブジェクトでないなら「都市階層でない」ということは成り立つ fact2: あの全業種は澄まさないがしかしミニストリーだ fact3: もしもある物は三次元オブジェクトでないならば「それは都市階層でない」ということは成り立つ fact4: あの上田城攻めは決め難くない fact5: 「何らかのものは新本店所在地でないけどそれはカムフラージュする」ということは間違っているなら日本酒でない fact6: あの貴方次第は日本酒だ fact7: もしあの貴方次第は日本酒であるとすると都市階層だ fact8: あの貴方次第は甚だし fact9: もし仮にそのアイロンが都市階層でないとするとあの貴方次第は都市階層でないがしかし甚だし fact10: もしなにがしかの物は東洋メタライジングでないなら「決め難くない物であり燃え易くない」ということは真実でない fact11: もし仮に「そのアイロンは東洋メタライジングでない」ということは成り立つとしたらあの上田城攻めは決め難くなくて燃え易くない fact12: なんらかの物が電化するならそれは供えらないか商事部門であるかどちらもだ fact13: もし仮になにがしかのものはトラブるないとすると「新本店所在地でないしそれにカムフラージュする」ということは成り立たない fact14: 東洋メタライジングは三次元オブジェクトでないか評するかもしくは両方ともだ fact15: もしも印象深くないものが逆照射しないならばトラブるということはない fact16: もしもなにがしかの物は三次元オブジェクトでないかもしくは評するかもしくは両方ともだとすると都市階層でない fact17: もしもその四百ミリリットル分が甚だしとすればあの貴方次第は甚だし fact18: もしもそのアイロンが都市階層であるということはないならあの貴方次第は甚だし fact19: もしもあの全業種が間近いとすると印象深くないし更にそれは逆照射しない fact20: もしあの全業種が日本酒でないとするとその四百ミリリットル分は甚だしかし辛い fact21: もしあの全業種が澄まさないがしかしそれはミニストリーであるなら間近い fact22: そのアイロンは三次元オブジェクトであるかそれは評する ; $hypothesis$ = あの上田城攻めは決め難くなくてしかもそれは燃え易くない ; $proof$ = 
fact14 -> int1: もし仮にそのアイロンが東洋メタライジングであるとすれば三次元オブジェクトでないかもしくは評するかもしくはどちらもである; void -> assump1: 以下のように仮定する。そのアイロンは東洋メタライジングである; int1 & assump1 -> int2: そのアイロンは三次元オブジェクトでないかもしくはそれは評するかもしくは両方ともだ; fact16 -> int3: そのアイロンが三次元オブジェクトでないかあるいは評するならそれは都市階層であるということはない; int2 & int3 -> int4: そのアイロンは都市階層でない; int4 & fact9 -> int5: あの貴方次第は都市階層でない一方で甚だし; int5 -> int6: あの貴方次第は都市階層でない; fact6 & fact7 -> int7: あの貴方次第は都市階層だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのアイロンは東洋メタライジングでない; int9 & fact11 -> hypothesis; __PROVED__
事実1: 仮にそのアイロンは三次元オブジェクトでないなら「都市階層でない」ということは成り立つ
事実2: あの全業種は澄まさないがしかしミニストリーだ
事実3: もしもある物は三次元オブジェクトでないならば「それは都市階層でない」ということは成り立つ
事実4: あの上田城攻めは決め難くない
事実5: 「何らかのものは新本店所在地でないけどそれはカムフラージュする」ということは間違っているなら日本酒でない
事実6: あの貴方次第は日本酒だ
事実7: もしあの貴方次第は日本酒であるとすると都市階層だ
事実8: あの貴方次第は甚だし
事実9: もし仮にそのアイロンが都市階層でないとするとあの貴方次第は都市階層でないがしかし甚だし
事実10: もしなにがしかの物は東洋メタライジングでないなら「決め難くない物であり燃え易くない」ということは真実でない
事実11: もし仮に「そのアイロンは東洋メタライジングでない」ということは成り立つとしたらあの上田城攻めは決め難くなくて燃え易くない
事実12: なんらかの物が電化するならそれは供えらないか商事部門であるかどちらもだ
事実13: もし仮になにがしかのものはトラブるないとすると「新本店所在地でないしそれにカムフラージュする」ということは成り立たない
事実14: 東洋メタライジングは三次元オブジェクトでないか評するかもしくは両方ともだ
事実15: もしも印象深くないものが逆照射しないならばトラブるということはない
事実16: もしもなにがしかの物は三次元オブジェクトでないかもしくは評するかもしくは両方ともだとすると都市階層でない
事実17: もしもその四百ミリリットル分が甚だしとすればあの貴方次第は甚だし
事実18: もしもそのアイロンが都市階層であるということはないならあの貴方次第は甚だし
事実19: もしもあの全業種が間近いとすると印象深くないし更にそれは逆照射しない
事実20: もしあの全業種が日本酒でないとするとその四百ミリリットル分は甚だしかし辛い
事実21: もしあの全業種が澄まさないがしかしそれはミニストリーであるなら間近い
事実22: そのアイロンは三次元オブジェクトであるかそれは評する

仮説: あの上田城攻めは決め難くなくてしかもそれは燃え易くない
1. 事実14から、推論1: "もし仮にそのアイロンが東洋メタライジングであるとすれば三次元オブジェクトでないかもしくは評するかもしくはどちらもである"が導かれる
2. 仮定1: 以下のように仮定する。そのアイロンは東洋メタライジングである
3. 推論1と仮定1から、推論2: "そのアイロンは三次元オブジェクトでないかもしくはそれは評するかもしくは両方ともだ"が導かれる
4. 事実16から、推論3: "そのアイロンが三次元オブジェクトでないかあるいは評するならそれは都市階層であるということはない"が導かれる
5. 推論2と推論3から、推論4: "そのアイロンは都市階層でない"が導かれる
6. 推論4と事実9から、推論5: "あの貴方次第は都市階層でない一方で甚だし"が導かれる
7. 推論5から、推論6: "あの貴方次第は都市階層でない"が導かれる
8. 事実6と事実7から、推論7: "あの貴方次第は都市階層だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "そのアイロンは東洋メタライジングでない"が導かれる
11. 推論9と事実11から、仮説が導かれる

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