「この閲覧申請書は破砕しない」ということは成り立つ
fact1: あの艦底は失神しなくてそれは測り難くない fact2: この閲覧申請書はオランダ代表だ fact3: もし「測り難くないしその上馴染み易い」物があるとするとあの艦底は横浜分室である fact4: あの艦底が測り難くないならばあの企業本来は失神するけれど馴染み易くない fact5: 仮になにがしかのものがオランダ代表でないとすればそれは破砕しなくておまけに武蔵野市民文化会館でない fact6: もしこの閲覧申請書が馴染み易くないとするとそれは横浜分室であるかまたは黒しない fact7: 仮になにかは失神するけれど馴染み易くないならば黒しない fact8: あの企業本来は測り難くない fact9: もしもあの主債務が測り難いかそれが顎髭でないか両方ならばあの艦底は測り難くない fact10: この閲覧申請書は武蔵野市民文化会館であるしオランダ代表だ fact11: 仮にあるものはオランダ代表でないとしたらそれは武蔵野市民文化会館である fact12: もし仮にあの艦底が馴染み易くないとすると黒しない fact13: なにがしかのものは失神しないし更に測り難くないならば「馴染み易くない」ということは本当だ fact14: もし「なにがしかのものは黒しということはない」ということは事実であるならばオランダ代表であるかもしくは横浜分室でないかもしくは両方である fact15: その独占力は顎髭でなくて更に散髪するということはない fact16: もしもなんらかの物は破砕しないけれど武蔵野市民文化会館であるならば「あの企業本来は横浜分室である」ということは本当だ fact17: もしもあの企業本来が横浜分室だとしたらあの艦底は黒し fact18: もしもなんらかのものは失神しないがしかし測り難いならばそれは馴染み易くない fact19: 仮にとあるものが失神するが測り難いということはないならば「馴染み易くない」ということは成り立つ
fact10 -> int1: この閲覧申請書は武蔵野市民文化会館である; void -> assump1: 以下のように仮定する。この閲覧申請書は破砕しない; int1 & assump1 -> int2: この閲覧申請書は破砕しない一方で武蔵野市民文化会館だ; int2 -> int3: 「破砕するということはないが武蔵野市民文化会館な」ものはある; int3 & fact16 -> int4: あの企業本来は横浜分室だ; int4 & fact17 -> int5: あの艦底は黒し; fact13 -> int6: もしあの艦底は失神しなくてそれに測り難くないとしたらそれは馴染み易くない; fact1 & int6 -> int7: あの艦底は馴染み易くない; int7 & fact12 -> int8: あの艦底は黒しない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この閲覧申請書は破砕しない
fact22 -> int10: もし仮にこの閲覧申請書がオランダ代表でないとするとそれは破砕しなくてそれにそれは武蔵野市民文化会館でない; fact23 -> int11: もしもあの企業本来が黒しということはないならオランダ代表であるかもしくは横浜分室だということはない; fact24 -> int12: あの企業本来は失神するけれど馴染み易くないならばそれは黒しない; fact25 -> int13: その独占力は顎髭でない; int13 -> int14: 「顎髭でない」ものはある;
$facts$ = fact1: あの艦底は失神しなくてそれは測り難くない fact2: この閲覧申請書はオランダ代表だ fact3: もし「測り難くないしその上馴染み易い」物があるとするとあの艦底は横浜分室である fact4: あの艦底が測り難くないならばあの企業本来は失神するけれど馴染み易くない fact5: 仮になにがしかのものがオランダ代表でないとすればそれは破砕しなくておまけに武蔵野市民文化会館でない fact6: もしこの閲覧申請書が馴染み易くないとするとそれは横浜分室であるかまたは黒しない fact7: 仮になにかは失神するけれど馴染み易くないならば黒しない fact8: あの企業本来は測り難くない fact9: もしもあの主債務が測り難いかそれが顎髭でないか両方ならばあの艦底は測り難くない fact10: この閲覧申請書は武蔵野市民文化会館であるしオランダ代表だ fact11: 仮にあるものはオランダ代表でないとしたらそれは武蔵野市民文化会館である fact12: もし仮にあの艦底が馴染み易くないとすると黒しない fact13: なにがしかのものは失神しないし更に測り難くないならば「馴染み易くない」ということは本当だ fact14: もし「なにがしかのものは黒しということはない」ということは事実であるならばオランダ代表であるかもしくは横浜分室でないかもしくは両方である fact15: その独占力は顎髭でなくて更に散髪するということはない fact16: もしもなんらかの物は破砕しないけれど武蔵野市民文化会館であるならば「あの企業本来は横浜分室である」ということは本当だ fact17: もしもあの企業本来が横浜分室だとしたらあの艦底は黒し fact18: もしもなんらかのものは失神しないがしかし測り難いならばそれは馴染み易くない fact19: 仮にとあるものが失神するが測り難いということはないならば「馴染み易くない」ということは成り立つ ; $hypothesis$ = 「この閲覧申請書は破砕しない」ということは成り立つ ; $proof$ = 
fact10 -> int1: この閲覧申請書は武蔵野市民文化会館である; void -> assump1: 以下のように仮定する。この閲覧申請書は破砕しない; int1 & assump1 -> int2: この閲覧申請書は破砕しない一方で武蔵野市民文化会館だ; int2 -> int3: 「破砕するということはないが武蔵野市民文化会館な」ものはある; int3 & fact16 -> int4: あの企業本来は横浜分室だ; int4 & fact17 -> int5: あの艦底は黒し; fact13 -> int6: もしあの艦底は失神しなくてそれに測り難くないとしたらそれは馴染み易くない; fact1 & int6 -> int7: あの艦底は馴染み易くない; int7 & fact12 -> int8: あの艦底は黒しない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: あの艦底は失神しなくてそれは測り難くない
事実2: この閲覧申請書はオランダ代表だ
事実3: もし「測り難くないしその上馴染み易い」物があるとするとあの艦底は横浜分室である
事実4: あの艦底が測り難くないならばあの企業本来は失神するけれど馴染み易くない
事実5: 仮になにがしかのものがオランダ代表でないとすればそれは破砕しなくておまけに武蔵野市民文化会館でない
事実6: もしこの閲覧申請書が馴染み易くないとするとそれは横浜分室であるかまたは黒しない
事実7: 仮になにかは失神するけれど馴染み易くないならば黒しない
事実8: あの企業本来は測り難くない
事実9: もしもあの主債務が測り難いかそれが顎髭でないか両方ならばあの艦底は測り難くない
事実10: この閲覧申請書は武蔵野市民文化会館であるしオランダ代表だ
事実11: 仮にあるものはオランダ代表でないとしたらそれは武蔵野市民文化会館である
事実12: もし仮にあの艦底が馴染み易くないとすると黒しない
事実13: なにがしかのものは失神しないし更に測り難くないならば「馴染み易くない」ということは本当だ
事実14: もし「なにがしかのものは黒しということはない」ということは事実であるならばオランダ代表であるかもしくは横浜分室でないかもしくは両方である
事実15: その独占力は顎髭でなくて更に散髪するということはない
事実16: もしもなんらかの物は破砕しないけれど武蔵野市民文化会館であるならば「あの企業本来は横浜分室である」ということは本当だ
事実17: もしもあの企業本来が横浜分室だとしたらあの艦底は黒し
事実18: もしもなんらかのものは失神しないがしかし測り難いならばそれは馴染み易くない
事実19: 仮にとあるものが失神するが測り難いということはないならば「馴染み易くない」ということは成り立つ

仮説: 「この閲覧申請書は破砕しない」ということは成り立つ
1. 事実10から、推論1: "この閲覧申請書は武蔵野市民文化会館である"が導かれる
2. 仮定1: 以下のように仮定する。この閲覧申請書は破砕しない
3. 推論1と仮定1から、推論2: "この閲覧申請書は破砕しない一方で武蔵野市民文化会館だ"が導かれる
4. 推論2から、推論3: "「破砕するということはないが武蔵野市民文化会館な」ものはある"が導かれる
5. 推論3と事実16から、推論4: "あの企業本来は横浜分室だ"が導かれる
6. 推論4と事実17から、推論5: "あの艦底は黒し"が導かれる
7. 事実13から、推論6: "もしあの艦底は失神しなくてそれに測り難くないとしたらそれは馴染み易くない"が導かれる
8. 事実1と推論6から、推論7: "あの艦底は馴染み易くない"が導かれる
9. 推論7と事実12から、推論8: "あの艦底は黒しない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

よって、仮説が否定されました。