「「その親機は香ばしくてかつ見付け易い」ということは成り立つ」ということは成り立たない
fact1: 仮にあの色即是空は香ばしかないとすれば「その親機は香ばしいし見付け易い」ということは誤りである fact2: もしもあの色即是空が伝統食でないとするとその第一次世界大戦後は発現し易い fact3: 仮に何かは軽便でない一方で読み込めれば「伝統食でない」ということは本当である fact4: 「あの所掌事務は読み込めないか勤続しないか両方だ」ということは成り立たないとすればその第一次世界大戦後は読み込める fact5: 仮にその親機は伝統食でないとしたら「あの色即是空は伝統食で更に整地する」ということは嘘である fact6: 「その親機は発現し易くない」ということは確かだ fact7: もし仮にあの色即是空が伝統食でないとしたらその第一次世界大戦後は支障無くて更に発現し易い fact8: あの色即是空は整地する fact9: 「「あの色即是空は香ばしくて加えて見付け易い」ということは成り立つということはない」ということは真実だ fact10: その第一次世界大戦後は軽便であるということはない fact11: もしもなにがしかのものが脅かし始めるとすれば見付け易い fact12: その保育所・幼稚園は支障無い fact13: もし仮にあの色即是空が整地しないしそれが香ばしかないとしたらその親機は香ばしい fact14: 仮にあの色即是空は整地するし伝統食だとするとそれは香ばしいということはない fact15: あの色即是空は発現し易くないとしたら「その第一次世界大戦後は発現し易いし加えて香ばしい」ということは誤っている fact16: 「その第一次世界大戦後は発現し易い」ということは成り立つ fact17: 「あの色即是空は香ばしくて発現し易い」ということは成り立たない fact18: その第一次世界大戦後は支障無くない fact19: 仮にあの所掌事務は見続けないとすれば「「それは読み込めないかまたは勤続しない」ということは嘘でない」ということは嘘だ fact20: その第一次世界大戦後が伝統食でないとしたらあの色即是空は整地しないしその上香ばしくない
void -> assump1: 以下のように仮定する。あの色即是空は伝統食だということはない; fact7 & assump1 -> int1: その第一次世界大戦後は支障無いしまた発現し易い; int1 -> int2: その第一次世界大戦後は支障無い; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの色即是空は伝統食である; int4 & fact8 -> int5: あの色即是空は整地するし伝統食である; int5 & fact14 -> int6: あの色即是空は香ばしいということはない; int6 & fact1 -> hypothesis;
その親機は香ばしいしその上見付け易い
fact27 -> int7: もしもその第一次世界大戦後が軽便だということはないけれど読み込めるとしたら伝統食だということはない; fact21 -> int8: もしその親機が脅かし始めればそれは見付け易い;
$facts$ = fact1: 仮にあの色即是空は香ばしかないとすれば「その親機は香ばしいし見付け易い」ということは誤りである fact2: もしもあの色即是空が伝統食でないとするとその第一次世界大戦後は発現し易い fact3: 仮に何かは軽便でない一方で読み込めれば「伝統食でない」ということは本当である fact4: 「あの所掌事務は読み込めないか勤続しないか両方だ」ということは成り立たないとすればその第一次世界大戦後は読み込める fact5: 仮にその親機は伝統食でないとしたら「あの色即是空は伝統食で更に整地する」ということは嘘である fact6: 「その親機は発現し易くない」ということは確かだ fact7: もし仮にあの色即是空が伝統食でないとしたらその第一次世界大戦後は支障無くて更に発現し易い fact8: あの色即是空は整地する fact9: 「「あの色即是空は香ばしくて加えて見付け易い」ということは成り立つということはない」ということは真実だ fact10: その第一次世界大戦後は軽便であるということはない fact11: もしもなにがしかのものが脅かし始めるとすれば見付け易い fact12: その保育所・幼稚園は支障無い fact13: もし仮にあの色即是空が整地しないしそれが香ばしかないとしたらその親機は香ばしい fact14: 仮にあの色即是空は整地するし伝統食だとするとそれは香ばしいということはない fact15: あの色即是空は発現し易くないとしたら「その第一次世界大戦後は発現し易いし加えて香ばしい」ということは誤っている fact16: 「その第一次世界大戦後は発現し易い」ということは成り立つ fact17: 「あの色即是空は香ばしくて発現し易い」ということは成り立たない fact18: その第一次世界大戦後は支障無くない fact19: 仮にあの所掌事務は見続けないとすれば「「それは読み込めないかまたは勤続しない」ということは嘘でない」ということは嘘だ fact20: その第一次世界大戦後が伝統食でないとしたらあの色即是空は整地しないしその上香ばしくない ; $hypothesis$ = 「「その親機は香ばしくてかつ見付け易い」ということは成り立つ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの色即是空は伝統食だということはない; fact7 & assump1 -> int1: その第一次世界大戦後は支障無いしまた発現し易い; int1 -> int2: その第一次世界大戦後は支障無い; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの色即是空は伝統食である; int4 & fact8 -> int5: あの色即是空は整地するし伝統食である; int5 & fact14 -> int6: あの色即是空は香ばしいということはない; int6 & fact1 -> hypothesis; __PROVED__
事実1: 仮にあの色即是空は香ばしかないとすれば「その親機は香ばしいし見付け易い」ということは誤りである
事実2: もしもあの色即是空が伝統食でないとするとその第一次世界大戦後は発現し易い
事実3: 仮に何かは軽便でない一方で読み込めれば「伝統食でない」ということは本当である
事実4: 「あの所掌事務は読み込めないか勤続しないか両方だ」ということは成り立たないとすればその第一次世界大戦後は読み込める
事実5: 仮にその親機は伝統食でないとしたら「あの色即是空は伝統食で更に整地する」ということは嘘である
事実6: 「その親機は発現し易くない」ということは確かだ
事実7: もし仮にあの色即是空が伝統食でないとしたらその第一次世界大戦後は支障無くて更に発現し易い
事実8: あの色即是空は整地する
事実9: 「「あの色即是空は香ばしくて加えて見付け易い」ということは成り立つということはない」ということは真実だ
事実10: その第一次世界大戦後は軽便であるということはない
事実11: もしもなにがしかのものが脅かし始めるとすれば見付け易い
事実12: その保育所・幼稚園は支障無い
事実13: もし仮にあの色即是空が整地しないしそれが香ばしかないとしたらその親機は香ばしい
事実14: 仮にあの色即是空は整地するし伝統食だとするとそれは香ばしいということはない
事実15: あの色即是空は発現し易くないとしたら「その第一次世界大戦後は発現し易いし加えて香ばしい」ということは誤っている
事実16: 「その第一次世界大戦後は発現し易い」ということは成り立つ
事実17: 「あの色即是空は香ばしくて発現し易い」ということは成り立たない
事実18: その第一次世界大戦後は支障無くない
事実19: 仮にあの所掌事務は見続けないとすれば「「それは読み込めないかまたは勤続しない」ということは嘘でない」ということは嘘だ
事実20: その第一次世界大戦後が伝統食でないとしたらあの色即是空は整地しないしその上香ばしくない

仮説: 「「その親機は香ばしくてかつ見付け易い」ということは成り立つ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの色即是空は伝統食だということはない
2. 事実7と仮定1から、推論1: "その第一次世界大戦後は支障無いしまた発現し易い"が導かれる
3. 推論1から、推論2: "その第一次世界大戦後は支障無い"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの色即是空は伝統食である"が導かれる
6. 推論4と事実8から、推論5: "あの色即是空は整地するし伝統食である"が導かれる
7. 推論5と事実14から、推論6: "あの色即是空は香ばしいということはない"が導かれる
8. 推論6と事実1から、仮説が導かれる

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