その民芸が不良化するしその上それは更新ボタンである
fact1: もし仮に「その三角屋根は東洋紡績でないか取り入るかあるいは両方ともである」ということは成り立たないとすればそれはフラでない fact2: もしその三角屋根が握れないとすれば取り入る fact3: その民芸はフラでない fact4: もし仮にあの治療行為が借用すればその三角屋根は握れなくてフラだということはない fact5: 「その三角屋根は更新ボタンでない」ということは成り立つ fact6: 「合名な」ものはある fact7: 「もしその民芸が不良化しないならその民芸はフラでそれは東洋紡績だ」ということは真実だ fact8: そのエタノール局注はフラだ fact9: もしその民芸が取り入らないとすればそれは握れるしおまけに東洋紡績である fact10: もしもなにかは東洋紡績でないとしたらそれは借用するしまたそれは取り入る fact11: 仮にその民芸が不良化しないとすると借用するしフラである fact12: その民芸は不良化する fact13: もし仮に「とある物は握れないし加えてフラでない」ということは本当でないなら東洋紡績である fact14: もし仮にとある物が借用しないとすればそれは不良化するし更新ボタンだ fact15: その三角屋根が握れないとすればフラであるしさらにそれは取り入る fact16: その民芸が握れるとするとその三角屋根はフラだ fact17: 「その三角屋根は東洋紡績でないかあるいは取り入る」ということは間違っている fact18: 仮にその三角屋根は握れないとすれば「その民芸は不良化するしかつ更新ボタンだ」ということは間違いである fact19: 「もし仮に「その三角屋根は更新ボタンでないかあるいは取り入る」ということは真実でないとすればその三角屋根は不良化しない」ということは確かだ fact20: 仮にその民芸が借用するということはないならそれは不良化する fact21: もしとある物が握れないとしたら借用しない
void -> assump1: 以下のように仮定する。その民芸は握れる; fact16 & assump1 -> int1: その三角屋根はフラである; fact17 & fact1 -> int2: その三角屋根はフラでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その民芸は握れない」ということは正しい; fact21 -> int5: もしその民芸が握れるということはないならそれは借用しない; int4 & int5 -> int6: その民芸は借用しない; fact14 -> int7: もしもその民芸が借用しないならそれは不良化するしそれは更新ボタンである; int6 & int7 -> hypothesis;
「その民芸は不良化するし更新ボタンだ」ということは事実と異なる
fact23 -> int8: もしあの治療行為が東洋紡績でないならば借用するしそれは取り入る;
$facts$ = fact1: もし仮に「その三角屋根は東洋紡績でないか取り入るかあるいは両方ともである」ということは成り立たないとすればそれはフラでない fact2: もしその三角屋根が握れないとすれば取り入る fact3: その民芸はフラでない fact4: もし仮にあの治療行為が借用すればその三角屋根は握れなくてフラだということはない fact5: 「その三角屋根は更新ボタンでない」ということは成り立つ fact6: 「合名な」ものはある fact7: 「もしその民芸が不良化しないならその民芸はフラでそれは東洋紡績だ」ということは真実だ fact8: そのエタノール局注はフラだ fact9: もしその民芸が取り入らないとすればそれは握れるしおまけに東洋紡績である fact10: もしもなにかは東洋紡績でないとしたらそれは借用するしまたそれは取り入る fact11: 仮にその民芸が不良化しないとすると借用するしフラである fact12: その民芸は不良化する fact13: もし仮に「とある物は握れないし加えてフラでない」ということは本当でないなら東洋紡績である fact14: もし仮にとある物が借用しないとすればそれは不良化するし更新ボタンだ fact15: その三角屋根が握れないとすればフラであるしさらにそれは取り入る fact16: その民芸が握れるとするとその三角屋根はフラだ fact17: 「その三角屋根は東洋紡績でないかあるいは取り入る」ということは間違っている fact18: 仮にその三角屋根は握れないとすれば「その民芸は不良化するしかつ更新ボタンだ」ということは間違いである fact19: 「もし仮に「その三角屋根は更新ボタンでないかあるいは取り入る」ということは真実でないとすればその三角屋根は不良化しない」ということは確かだ fact20: 仮にその民芸が借用するということはないならそれは不良化する fact21: もしとある物が握れないとしたら借用しない ; $hypothesis$ = その民芸が不良化するしその上それは更新ボタンである ; $proof$ = 
void -> assump1: 以下のように仮定する。その民芸は握れる; fact16 & assump1 -> int1: その三角屋根はフラである; fact17 & fact1 -> int2: その三角屋根はフラでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その民芸は握れない」ということは正しい; fact21 -> int5: もしその民芸が握れるということはないならそれは借用しない; int4 & int5 -> int6: その民芸は借用しない; fact14 -> int7: もしもその民芸が借用しないならそれは不良化するしそれは更新ボタンである; int6 & int7 -> hypothesis; __PROVED__
事実1: もし仮に「その三角屋根は東洋紡績でないか取り入るかあるいは両方ともである」ということは成り立たないとすればそれはフラでない
事実2: もしその三角屋根が握れないとすれば取り入る
事実3: その民芸はフラでない
事実4: もし仮にあの治療行為が借用すればその三角屋根は握れなくてフラだということはない
事実5: 「その三角屋根は更新ボタンでない」ということは成り立つ
事実6: 「合名な」ものはある
事実7: 「もしその民芸が不良化しないならその民芸はフラでそれは東洋紡績だ」ということは真実だ
事実8: そのエタノール局注はフラだ
事実9: もしその民芸が取り入らないとすればそれは握れるしおまけに東洋紡績である
事実10: もしもなにかは東洋紡績でないとしたらそれは借用するしまたそれは取り入る
事実11: 仮にその民芸が不良化しないとすると借用するしフラである
事実12: その民芸は不良化する
事実13: もし仮に「とある物は握れないし加えてフラでない」ということは本当でないなら東洋紡績である
事実14: もし仮にとある物が借用しないとすればそれは不良化するし更新ボタンだ
事実15: その三角屋根が握れないとすればフラであるしさらにそれは取り入る
事実16: その民芸が握れるとするとその三角屋根はフラだ
事実17: 「その三角屋根は東洋紡績でないかあるいは取り入る」ということは間違っている
事実18: 仮にその三角屋根は握れないとすれば「その民芸は不良化するしかつ更新ボタンだ」ということは間違いである
事実19: 「もし仮に「その三角屋根は更新ボタンでないかあるいは取り入る」ということは真実でないとすればその三角屋根は不良化しない」ということは確かだ
事実20: 仮にその民芸が借用するということはないならそれは不良化する
事実21: もしとある物が握れないとしたら借用しない

仮説: その民芸が不良化するしその上それは更新ボタンである
1. 仮定1: 以下のように仮定する。その民芸は握れる
2. 事実16と仮定1から、推論1: "その三角屋根はフラである"が導かれる
3. 事実17と事実1から、推論2: "その三角屋根はフラでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その民芸は握れない」ということは正しい"が導かれる
6. 事実21から、推論5: "もしその民芸が握れるということはないならそれは借用しない"が導かれる
7. 推論4と推論5から、推論6: "その民芸は借用しない"が導かれる
8. 事実14から、推論7: "もしもその民芸が借用しないならそれは不良化するしそれは更新ボタンである"が導かれる
9. 推論6と推論7から、仮説が導かれる

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