この異義は親らしい
fact1: 「その玄米は意気込まない」ということは真実である fact2: もし仮にこの化仏がＳトップでないとすればこの異義は掻い摘むしそれに親らしい fact3: もし仮にこの化仏がＳトップでないとすればこの異義は掻い摘む fact4: もし仮になにがしかのものがＳトップでないとするとそれは主材料でなくてそれは進め易い fact5: この化仏は親らしくないかもしくはＳトップでないかもしくはどちらもだ fact6: その玄米が好くということはないとしたらこの林野は主材料である fact7: 「その玄米は廃熱でないけど掻い摘む」ということは確かでない fact8: 「何かは廃熱だということはないが掻い摘む」ということは確かでないならそれはＳトップでない fact9: 仮に「「その玄米は意気込む」ということは成り立つ」ということは誤っていれば切り飛ばさないかもしくは好かないか両方ともである fact10: もしもあの屑が進め易いとするとこの化仏はＳトップでない fact11: もしもこの林野が主材料であるとしたらあの屑は進め易い fact12: その玄米が切り飛ばさないとするとこの林野は主材料だ
fact9 & fact1 -> int1: その玄米は切り飛ばさないかあるいは好かない; int1 & fact12 & fact6 -> int2: この林野は主材料である; int2 & fact11 -> int3: あの屑は進め易い; int3 & fact10 -> int4: この化仏はＳトップでない; int4 & fact2 -> int5: この異義は掻い摘むし親らしい; int5 -> hypothesis;
この異義は親らしくない
fact15 -> int6: その玄米はＳトップでないとするとそれは主材料でないけれど進め易い; fact14 -> int7: もしも「その玄米は廃熱だということはないが掻い摘む」ということは誤りであるならばＳトップでない; int7 & fact13 -> int8: その玄米はＳトップでない; int6 & int8 -> int9: その玄米は主材料だということはないが進め易い; int9 -> int10: その玄米は主材料でない; int10 -> int11: 「主材料だということはない」物はある;
$facts$ = fact1: 「その玄米は意気込まない」ということは真実である fact2: もし仮にこの化仏がＳトップでないとすればこの異義は掻い摘むしそれに親らしい fact3: もし仮にこの化仏がＳトップでないとすればこの異義は掻い摘む fact4: もし仮になにがしかのものがＳトップでないとするとそれは主材料でなくてそれは進め易い fact5: この化仏は親らしくないかもしくはＳトップでないかもしくはどちらもだ fact6: その玄米が好くということはないとしたらこの林野は主材料である fact7: 「その玄米は廃熱でないけど掻い摘む」ということは確かでない fact8: 「何かは廃熱だということはないが掻い摘む」ということは確かでないならそれはＳトップでない fact9: 仮に「「その玄米は意気込む」ということは成り立つ」ということは誤っていれば切り飛ばさないかもしくは好かないか両方ともである fact10: もしもあの屑が進め易いとするとこの化仏はＳトップでない fact11: もしもこの林野が主材料であるとしたらあの屑は進め易い fact12: その玄米が切り飛ばさないとするとこの林野は主材料だ ; $hypothesis$ = この異義は親らしい ; $proof$ = 
fact9 & fact1 -> int1: その玄米は切り飛ばさないかあるいは好かない; int1 & fact12 & fact6 -> int2: この林野は主材料である; int2 & fact11 -> int3: あの屑は進め易い; int3 & fact10 -> int4: この化仏はＳトップでない; int4 & fact2 -> int5: この異義は掻い摘むし親らしい; int5 -> hypothesis; __PROVED__
事実1: 「その玄米は意気込まない」ということは真実である
事実2: もし仮にこの化仏がＳトップでないとすればこの異義は掻い摘むしそれに親らしい
事実3: もし仮にこの化仏がＳトップでないとすればこの異義は掻い摘む
事実4: もし仮になにがしかのものがＳトップでないとするとそれは主材料でなくてそれは進め易い
事実5: この化仏は親らしくないかもしくはＳトップでないかもしくはどちらもだ
事実6: その玄米が好くということはないとしたらこの林野は主材料である
事実7: 「その玄米は廃熱でないけど掻い摘む」ということは確かでない
事実8: 「何かは廃熱だということはないが掻い摘む」ということは確かでないならそれはＳトップでない
事実9: 仮に「「その玄米は意気込む」ということは成り立つ」ということは誤っていれば切り飛ばさないかもしくは好かないか両方ともである
事実10: もしもあの屑が進め易いとするとこの化仏はＳトップでない
事実11: もしもこの林野が主材料であるとしたらあの屑は進め易い
事実12: その玄米が切り飛ばさないとするとこの林野は主材料だ

仮説: この異義は親らしい
1. 事実9と事実1から、推論1: "その玄米は切り飛ばさないかあるいは好かない"が導かれる
2. 推論1と事実12と事実6から、推論2: "この林野は主材料である"が導かれる
3. 推論2と事実11から、推論3: "あの屑は進め易い"が導かれる
4. 推論3と事実10から、推論4: "この化仏はＳトップでない"が導かれる
5. 推論4と事実2から、推論5: "この異義は掻い摘むし親らしい"が導かれる
6. 推論5から、仮説が導かれる

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