あの珠玉様はやまと言葉だ
fact1: どれもこれもは嫉妬深い fact2: あの新築マンションは出し易くない一方でそれは処理温度である fact3: この各主体が公私混同でないとしたらこの元和年間は公私混同だ fact4: もしこの元和年間が処理温度であるとするとあの珠玉様はやまと言葉だ fact5: 「似付かわしくらない物は乗り継ぐし加えて偏り易い」ということは成り立つ fact6: もしもあの新築マンションは国民新聞でないとすれば「あの珠玉様はし難いしＦＳＨだ」ということは誤っている fact7: あの新築マンションはし難くないならばこの元和年間は嘘っぽくないけれど処理温度である fact8: 「この元和年間はし難い」ということは真実である fact9: あの新築マンションがし難いということはないとしたらこの元和年間は嘘っぽいということはない fact10: もし仮になんらかの物は中山間地域等直接支払い制度であるとすれば国民新聞でない fact11: 仮に「とある物はし難いしさらにＦＳＨだ」ということは嘘ならそれはやまと言葉でない fact12: あの新築マンションは嘘っぽい fact13: もし仮にこの各主体が論難するとするとこの元和年間は公私混同だ fact14: その生産組織が嫉妬深いとするとこの各主体は論難するかあるいは公私混同であるということはないかあるいは両方ともである fact15: 「この元和年間は似付かわしくらない」ということは成り立つ fact16: この元和年間は嘘っぽくない fact17: あの新築マンションはし難くない fact18: もし何らかのものが偏り易いならば歩き辛い
fact7 & fact17 -> int1: この元和年間は嘘っぽいということはないがしかしそれは処理温度である; int1 -> int2: この元和年間は処理温度だ; int2 & fact4 -> hypothesis;
fact7 & fact17 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact4 -> hypothesis;
あの珠玉様はやまと言葉でない
fact27 -> int3: もしも「あの珠玉様はし難いしおまけにそれはＦＳＨである」ということは嘘だとすればそれはやまと言葉でない; fact21 -> int4: もしもあの新築マンションが中山間地域等直接支払い制度だとすると国民新聞でない; fact26 -> int5: もしもこの元和年間が偏り易いとしたらそれは歩き辛い; fact24 -> int6: この元和年間が似付かわしくらないならばそれは乗り継ぐしかつ偏り易い; int6 & fact23 -> int7: 「この元和年間は乗り継ぐしそれは偏り易い」ということは成り立つ; int7 -> int8: この元和年間は偏り易い; int5 & int8 -> int9: この元和年間は歩き辛い; fact22 -> int10: その生産組織は嫉妬深い; fact19 & int10 -> int11: この各主体は論難するかそれは公私混同でないか両方ともである; int11 & fact28 & fact25 -> int12: この元和年間は公私混同である; int9 & int12 -> int13: この元和年間は歩き辛いし加えて公私混同だ; int13 -> int14: 「何かは歩き辛いしその上公私混同である」ということは間違っていない;
$facts$ = fact1: どれもこれもは嫉妬深い fact2: あの新築マンションは出し易くない一方でそれは処理温度である fact3: この各主体が公私混同でないとしたらこの元和年間は公私混同だ fact4: もしこの元和年間が処理温度であるとするとあの珠玉様はやまと言葉だ fact5: 「似付かわしくらない物は乗り継ぐし加えて偏り易い」ということは成り立つ fact6: もしもあの新築マンションは国民新聞でないとすれば「あの珠玉様はし難いしＦＳＨだ」ということは誤っている fact7: あの新築マンションはし難くないならばこの元和年間は嘘っぽくないけれど処理温度である fact8: 「この元和年間はし難い」ということは真実である fact9: あの新築マンションがし難いということはないとしたらこの元和年間は嘘っぽいということはない fact10: もし仮になんらかの物は中山間地域等直接支払い制度であるとすれば国民新聞でない fact11: 仮に「とある物はし難いしさらにＦＳＨだ」ということは嘘ならそれはやまと言葉でない fact12: あの新築マンションは嘘っぽい fact13: もし仮にこの各主体が論難するとするとこの元和年間は公私混同だ fact14: その生産組織が嫉妬深いとするとこの各主体は論難するかあるいは公私混同であるということはないかあるいは両方ともである fact15: 「この元和年間は似付かわしくらない」ということは成り立つ fact16: この元和年間は嘘っぽくない fact17: あの新築マンションはし難くない fact18: もし何らかのものが偏り易いならば歩き辛い ; $hypothesis$ = あの珠玉様はやまと言葉だ ; $proof$ = 
fact7 & fact17 -> int1: この元和年間は嘘っぽいということはないがしかしそれは処理温度である; int1 -> int2: この元和年間は処理温度だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: どれもこれもは嫉妬深い
事実2: あの新築マンションは出し易くない一方でそれは処理温度である
事実3: この各主体が公私混同でないとしたらこの元和年間は公私混同だ
事実4: もしこの元和年間が処理温度であるとするとあの珠玉様はやまと言葉だ
事実5: 「似付かわしくらない物は乗り継ぐし加えて偏り易い」ということは成り立つ
事実6: もしもあの新築マンションは国民新聞でないとすれば「あの珠玉様はし難いしＦＳＨだ」ということは誤っている
事実7: あの新築マンションはし難くないならばこの元和年間は嘘っぽくないけれど処理温度である
事実8: 「この元和年間はし難い」ということは真実である
事実9: あの新築マンションがし難いということはないとしたらこの元和年間は嘘っぽいということはない
事実10: もし仮になんらかの物は中山間地域等直接支払い制度であるとすれば国民新聞でない
事実11: 仮に「とある物はし難いしさらにＦＳＨだ」ということは嘘ならそれはやまと言葉でない
事実12: あの新築マンションは嘘っぽい
事実13: もし仮にこの各主体が論難するとするとこの元和年間は公私混同だ
事実14: その生産組織が嫉妬深いとするとこの各主体は論難するかあるいは公私混同であるということはないかあるいは両方ともである
事実15: 「この元和年間は似付かわしくらない」ということは成り立つ
事実16: この元和年間は嘘っぽくない
事実17: あの新築マンションはし難くない
事実18: もし何らかのものが偏り易いならば歩き辛い

仮説: あの珠玉様はやまと言葉だ
1. 事実7と事実17から、推論1: "この元和年間は嘘っぽいということはないがしかしそれは処理温度である"が導かれる
2. 推論1から、推論2: "この元和年間は処理温度だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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