あのごった煮は計上する
fact1: この画面左下はインポートし為さる fact2: あのごった煮が目覚ましくないならその外形標準課税は悪しない fact3: この画面左下は誇らしいし加えて類似点である fact4: もしその外形標準課税が悪しとすればこの画面左下は目覚ましい fact5: この画面左下は会話する fact6: なにがしかの物はインポートし為さるし更に誇らしい fact7: もしもなんらかの物が感じ易いということはないけど計上するならこの画面左下はゴールラインだ fact8: 何らかの物はインポートし為さらない一方で誇らしい fact9: その外形標準課税はインポートし為さる fact10: もし仮になにかはインポートし為さるとすると協議する fact11: 仮に「インポートし為さらないしその上誇らしい」ものがあるとすればその外形標準課税は悪し fact12: あの木枕は感じ易くない fact13: もし仮に「インポートし為さらない」物があるとすればその外形標準課税は誇らしいということはないかもしくはそれは計上しないかどちらもである fact14: この画面左下はゴールラインだ fact15: その外形標準課税は感じ易い fact16: 仮に「協議する」ものはあるなら「この画面左下は協議しないしまたそれは起こせない」ということは成り立たない fact17: 悪しないものはインポートし為さるしその上誇らしい fact18: あのごった煮は誇らしい fact19: 「その外形標準課税は誇らしい」ということは事実である fact20: あの木枕は断食するということはない fact21: もしもこの画面左下がゴールラインだとすればそれは感じ易い fact22: もしもこの画面左下が感じ易いし目覚ましいとするとあのごった煮は断食しない fact23: 「「あのごった煮は断食しないしまた計上しない」ということは事実と異なる」ということは成り立つ fact24: 「「インポートし為さらない」ということは成り立つ」ものはある fact25: 何かは計上しないけど感じ易い
fact8 & fact11 -> int1: その外形標準課税は悪し; int1 & fact4 -> int2: この画面左下は目覚ましい; fact14 & fact21 -> int3: この画面左下は感じ易い; int2 & int3 -> int4: この画面左下は感じ易いしそれは目覚ましい; int4 & fact22 -> int5: あのごった煮は断食しない; void -> assump1: 以下のように仮定する。あのごった煮は計上するということはない; int5 & assump1 -> int6: あのごった煮は断食しなくてそれに計上しない; int6 & fact23 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「この画面左下は協議しないしそれは起こせない」ということは成り立つということはない
fact26 -> int8: もしも「その外形標準課税はインポートし為さる」ということは成り立つとするとそれは協議する; fact29 -> int9: 「その外形標準課税が悪しないとするとその外形標準課税はインポートし為さるしそれは誇らしい」ということは真実だ; fact31 & fact30 -> int10: あの木枕は感じ易いということはなくておまけに断食しない; int10 -> int11: 「感じ易くなくて加えて断食しない」物はある;
$facts$ = fact1: この画面左下はインポートし為さる fact2: あのごった煮が目覚ましくないならその外形標準課税は悪しない fact3: この画面左下は誇らしいし加えて類似点である fact4: もしその外形標準課税が悪しとすればこの画面左下は目覚ましい fact5: この画面左下は会話する fact6: なにがしかの物はインポートし為さるし更に誇らしい fact7: もしもなんらかの物が感じ易いということはないけど計上するならこの画面左下はゴールラインだ fact8: 何らかの物はインポートし為さらない一方で誇らしい fact9: その外形標準課税はインポートし為さる fact10: もし仮になにかはインポートし為さるとすると協議する fact11: 仮に「インポートし為さらないしその上誇らしい」ものがあるとすればその外形標準課税は悪し fact12: あの木枕は感じ易くない fact13: もし仮に「インポートし為さらない」物があるとすればその外形標準課税は誇らしいということはないかもしくはそれは計上しないかどちらもである fact14: この画面左下はゴールラインだ fact15: その外形標準課税は感じ易い fact16: 仮に「協議する」ものはあるなら「この画面左下は協議しないしまたそれは起こせない」ということは成り立たない fact17: 悪しないものはインポートし為さるしその上誇らしい fact18: あのごった煮は誇らしい fact19: 「その外形標準課税は誇らしい」ということは事実である fact20: あの木枕は断食するということはない fact21: もしもこの画面左下がゴールラインだとすればそれは感じ易い fact22: もしもこの画面左下が感じ易いし目覚ましいとするとあのごった煮は断食しない fact23: 「「あのごった煮は断食しないしまた計上しない」ということは事実と異なる」ということは成り立つ fact24: 「「インポートし為さらない」ということは成り立つ」ものはある fact25: 何かは計上しないけど感じ易い ; $hypothesis$ = あのごった煮は計上する ; $proof$ = 
fact8 & fact11 -> int1: その外形標準課税は悪し; int1 & fact4 -> int2: この画面左下は目覚ましい; fact14 & fact21 -> int3: この画面左下は感じ易い; int2 & int3 -> int4: この画面左下は感じ易いしそれは目覚ましい; int4 & fact22 -> int5: あのごった煮は断食しない; void -> assump1: 以下のように仮定する。あのごった煮は計上するということはない; int5 & assump1 -> int6: あのごった煮は断食しなくてそれに計上しない; int6 & fact23 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: この画面左下はインポートし為さる
事実2: あのごった煮が目覚ましくないならその外形標準課税は悪しない
事実3: この画面左下は誇らしいし加えて類似点である
事実4: もしその外形標準課税が悪しとすればこの画面左下は目覚ましい
事実5: この画面左下は会話する
事実6: なにがしかの物はインポートし為さるし更に誇らしい
事実7: もしもなんらかの物が感じ易いということはないけど計上するならこの画面左下はゴールラインだ
事実8: 何らかの物はインポートし為さらない一方で誇らしい
事実9: その外形標準課税はインポートし為さる
事実10: もし仮になにかはインポートし為さるとすると協議する
事実11: 仮に「インポートし為さらないしその上誇らしい」ものがあるとすればその外形標準課税は悪し
事実12: あの木枕は感じ易くない
事実13: もし仮に「インポートし為さらない」物があるとすればその外形標準課税は誇らしいということはないかもしくはそれは計上しないかどちらもである
事実14: この画面左下はゴールラインだ
事実15: その外形標準課税は感じ易い
事実16: 仮に「協議する」ものはあるなら「この画面左下は協議しないしまたそれは起こせない」ということは成り立たない
事実17: 悪しないものはインポートし為さるしその上誇らしい
事実18: あのごった煮は誇らしい
事実19: 「その外形標準課税は誇らしい」ということは事実である
事実20: あの木枕は断食するということはない
事実21: もしもこの画面左下がゴールラインだとすればそれは感じ易い
事実22: もしもこの画面左下が感じ易いし目覚ましいとするとあのごった煮は断食しない
事実23: 「「あのごった煮は断食しないしまた計上しない」ということは事実と異なる」ということは成り立つ
事実24: 「「インポートし為さらない」ということは成り立つ」ものはある
事実25: 何かは計上しないけど感じ易い

仮説: あのごった煮は計上する
1. 事実8と事実11から、推論1: "その外形標準課税は悪し"が導かれる
2. 推論1と事実4から、推論2: "この画面左下は目覚ましい"が導かれる
3. 事実14と事実21から、推論3: "この画面左下は感じ易い"が導かれる
4. 推論2と推論3から、推論4: "この画面左下は感じ易いしそれは目覚ましい"が導かれる
5. 推論4と事実22から、推論5: "あのごった煮は断食しない"が導かれる
6. 仮定1: 以下のように仮定する。あのごった煮は計上するということはない
7. 推論5と仮定1から、推論6: "あのごった煮は断食しなくてそれに計上しない"が導かれる
8. 推論6と事実23から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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