その仮病は玄米菜食でない
fact1: その見学自由は近似出来る fact2: あの後章は多細胞性だしさらに各ペアだ fact3: その見学自由は通販である fact4: その見学自由が処分性能であるとしたらあの後章は差し止める fact5: 仮に「なにがしかのものは差し止めるということはないが処分性能である」ということは事実だとしたら「近似出来ない」ということは事実だ fact6: その見学自由は差し止める fact7: もし「多細胞性でない」物はあれば「その資格証明書は玄米菜食だが追い詰めるということはない」ということは間違いだ fact8: 仮にある物が近似出来るということはないとすると玄米菜食であるかまたはそれはごっついかあるいは両方である fact9: もし仮になんらかの物は麗しならば「それは追い詰める」ということは真実である fact10: もしも「なにかは玄米菜食だ一方で追い詰めるということはない」ということは成り立たないとすれば「それは麗し」ということは成り立つ fact11: 「多細胞性は各ペアである」ということは真実である fact12: もし仮に「その資格証明書は近似出来ないかまたは差し止めるか両方だ」ということは成り立たないとしたらその仮病は近似出来ない fact13: もしその見学自由が通販だとしたらそれは多細胞性だ fact14: もし「その仮病は近似出来ない」ということは正しいならば「あの後章は処分性能で加えてごっつい」ということは偽だ fact15: もしもとある物が差し止めるとすればそれは麗し fact16: この粟粒結核は多細胞性でない fact17: もし仮になんらかのものが追い詰めるとするとそれは麗し fact18: 仮にあの後章が追い詰めるしその上各ペアだとすればあの仮病は玄米菜食でない fact19: ごっつい物は処分性能だ fact20: その見学自由はごっついしかつ近似出来る fact21: 仮にあの後章はごっつかないとするとその見学自由は着装するし各ペアである fact22: もしその見学自由が玄米菜食であるとしたらその仮病は玄米菜食だ
fact20 -> int1: 「その見学自由はごっつい」ということは本当である; fact19 -> int2: 「もしその見学自由がごっついとすればその見学自由は処分性能である」ということは事実と異なるということはない; int1 & int2 -> int3: その見学自由は処分性能だ; int3 & fact4 -> int4: あの後章は差し止める; fact15 -> int5: 「あの後章は差し止める」ということは真実であるとするとそれは麗し; int4 & int5 -> int6: あの後章は麗し; fact9 -> int7: もしもあの後章が麗しならば追い詰める; int6 & int7 -> int8: あの後章は追い詰める; fact2 -> int9: あの後章は各ペアだ; int8 & int9 -> int10: あの後章は追い詰めるしそれは各ペアである; int10 & fact18 -> hypothesis;
その仮病は玄米菜食である
fact23 -> int11: その見学自由が近似出来ないならそれは玄米菜食であるかごっついかまたは両方ともである; fact28 -> int12: 仮にその見学自由は差し止めないが処分性能だとすればそれは近似出来ない; fact24 -> int13: もしもその見学自由が追い詰めればそれは麗し; fact27 -> int14: その見学自由は多細胞性であるとしたら各ペアだ; fact29 & fact26 -> int15: その見学自由は多細胞性である; int14 & int15 -> int16: その見学自由は各ペアである;
$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$ = 
fact20 -> int1: 「その見学自由はごっつい」ということは本当である; fact19 -> int2: 「もしその見学自由がごっついとすればその見学自由は処分性能である」ということは事実と異なるということはない; int1 & int2 -> int3: その見学自由は処分性能だ; int3 & fact4 -> int4: あの後章は差し止める; fact15 -> int5: 「あの後章は差し止める」ということは真実であるとするとそれは麗し; int4 & int5 -> int6: あの後章は麗し; fact9 -> int7: もしもあの後章が麗しならば追い詰める; int6 & int7 -> int8: あの後章は追い詰める; fact2 -> int9: あの後章は各ペアだ; int8 & int9 -> int10: あの後章は追い詰めるしそれは各ペアである; int10 & fact18 -> 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. 事実20から、推論1: "「その見学自由はごっつい」ということは本当である"が導かれる
2. 事実19から、推論2: "「もしその見学自由がごっついとすればその見学自由は処分性能である」ということは事実と異なるということはない"が導かれる
3. 推論1と推論2から、推論3: "その見学自由は処分性能だ"が導かれる
4. 推論3と事実4から、推論4: "あの後章は差し止める"が導かれる
5. 事実15から、推論5: "「あの後章は差し止める」ということは真実であるとするとそれは麗し"が導かれる
6. 推論4と推論5から、推論6: "あの後章は麗し"が導かれる
7. 事実9から、推論7: "もしもあの後章が麗しならば追い詰める"が導かれる
8. 推論6と推論7から、推論8: "あの後章は追い詰める"が導かれる
9. 事実2から、推論9: "あの後章は各ペアだ"が導かれる
10. 推論8と推論9から、推論10: "あの後章は追い詰めるしそれは各ペアである"が導かれる
11. 推論10と事実18から、仮説が導かれる

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