「この本事例は消耗し切らないか篆刻家であるということはないかもしくはどちらもだ」ということは誤りである
fact1: あの損耗は維持費でない fact2: もし仮にあの損耗が寝苦しいならこの災害事例は寝苦しい fact3: もし仮に「あの機密は逃れ難いし加えてそれは生き延びる」ということは誤りであるとすればあの本事例は生き延びない fact4: もし仮にこの昼食時間が坂道でないならばあの機密は坂道でない fact5: 仮に「この災害事例は寝苦しい」ということは成り立つならその皮弁作成は坂道だ fact6: 仮に何かは収穫しないならば「逃れ難くて生き延びる」ということは誤りである fact7: もしもその皮弁作成が坂道であるとしたらこの昼食時間は坂道でない fact8: もしもなんらかのものが異化するがそれが瑞々しくないとすると紳士らしくない fact9: もし仮にこの三鳥が素晴らしとしたらこの本事例は消耗し切らないかもしくは篆刻家でない fact10: もしもあの損耗が維持費でないとしたら寝苦しいかもしくはそれは脱水するかどちらもだ fact11: もし仮にあの損耗は脱水するとしたら「この災害事例は寝苦しい」ということは成り立つ fact12: この三鳥は瑞々しくないかまたは素晴らしないかもしくは両方だ fact13: もし仮にこの本事例が生き延びないならばこの三鳥は篆刻家であるということはなくてまた消耗し切らない fact14: この三鳥が素晴らしとするとこの本事例は消耗し切るかもしくはそれは篆刻家でないか両方ともである fact15: 仮に「この三鳥は素晴らし」ということは成り立つならこの本事例は消耗し切らないかまたは篆刻家であるかあるいは両方だ fact16: もしもこの三鳥が篆刻家でないしそれに消耗し切らないとすればあの中国山地は素晴らしということはない fact17: とあるものは紳士らしくない fact18: 仮に「あの中国山地は異化しないが瑞々しい」ということは成り立たないとすればこの三鳥は素晴らし fact19: もし仮に「紳士らしくない」ものはあるとしたら「あの中国山地は異化しないが瑞々しい」ということは偽だ fact20: 仮に「何かは紳士らしくない」ということは正しいとすれば「それは消耗し切らないかまたは篆刻家であるということはないか両方ともである」ということは誤りだ fact21: もしあるものが坂道でないなら跨がるしその上収穫するということはない fact22: 仮にあの中国山地が異化するとすればこの三鳥は素晴らし
fact17 & fact19 -> int1: 「あの中国山地は異化するということはない一方で瑞々しい」ということは成り立たない; int1 & fact18 -> int2: この三鳥は素晴らし; int2 & fact9 -> hypothesis;
「この国際政治学者は紳士らしくないかあるいは夜更かししないかまたは両方である」ということは偽でない
fact26 -> int3: もし仮にこの国際政治学者は異化するがしかし瑞々しくないとしたら紳士らしいということはない; fact34 -> int4: もし仮にあの機密は収穫しないならば「逃れ難いし生き延びる」ということは間違いである; fact28 -> int5: もし仮にあの機密が坂道だということはないならそれは跨がるけれど収穫するということはない; fact24 & fact31 -> int6: あの損耗は寝苦しいかまたは脱水するかまたは両方ともだ; int6 & fact30 & fact27 -> int7: この災害事例は寝苦しい; fact25 & int7 -> int8: その皮弁作成は坂道だ; fact33 & int8 -> int9: この昼食時間は坂道でない; fact29 & int9 -> int10: あの機密は坂道でない; int5 & int10 -> int11: あの機密は跨がるが収穫しない; int11 -> int12: あの機密は収穫しない; int4 & int12 -> int13: 「「あの機密は逃れ難くて生き延びる」ということは事実である」ということは成り立つということはない; fact23 & int13 -> int14: この本事例は生き延びるということはない; fact32 & int14 -> int15: この三鳥は篆刻家だということはなくてかつ消耗し切らない; fact35 & int15 -> int16: あの中国山地は素晴らしということはない; int16 -> int17: 「素晴らしない」ものはある;
$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$ = 
fact17 & fact19 -> int1: 「あの中国山地は異化するということはない一方で瑞々しい」ということは成り立たない; int1 & fact18 -> int2: この三鳥は素晴らし; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: あの損耗は維持費でない
事実2: もし仮にあの損耗が寝苦しいならこの災害事例は寝苦しい
事実3: もし仮に「あの機密は逃れ難いし加えてそれは生き延びる」ということは誤りであるとすればあの本事例は生き延びない
事実4: もし仮にこの昼食時間が坂道でないならばあの機密は坂道でない
事実5: 仮に「この災害事例は寝苦しい」ということは成り立つならその皮弁作成は坂道だ
事実6: 仮に何かは収穫しないならば「逃れ難くて生き延びる」ということは誤りである
事実7: もしもその皮弁作成が坂道であるとしたらこの昼食時間は坂道でない
事実8: もしもなんらかのものが異化するがそれが瑞々しくないとすると紳士らしくない
事実9: もし仮にこの三鳥が素晴らしとしたらこの本事例は消耗し切らないかもしくは篆刻家でない
事実10: もしもあの損耗が維持費でないとしたら寝苦しいかもしくはそれは脱水するかどちらもだ
事実11: もし仮にあの損耗は脱水するとしたら「この災害事例は寝苦しい」ということは成り立つ
事実12: この三鳥は瑞々しくないかまたは素晴らしないかもしくは両方だ
事実13: もし仮にこの本事例が生き延びないならばこの三鳥は篆刻家であるということはなくてまた消耗し切らない
事実14: この三鳥が素晴らしとするとこの本事例は消耗し切るかもしくはそれは篆刻家でないか両方ともである
事実15: 仮に「この三鳥は素晴らし」ということは成り立つならこの本事例は消耗し切らないかまたは篆刻家であるかあるいは両方だ
事実16: もしもこの三鳥が篆刻家でないしそれに消耗し切らないとすればあの中国山地は素晴らしということはない
事実17: とあるものは紳士らしくない
事実18: 仮に「あの中国山地は異化しないが瑞々しい」ということは成り立たないとすればこの三鳥は素晴らし
事実19: もし仮に「紳士らしくない」ものはあるとしたら「あの中国山地は異化しないが瑞々しい」ということは偽だ
事実20: 仮に「何かは紳士らしくない」ということは正しいとすれば「それは消耗し切らないかまたは篆刻家であるということはないか両方ともである」ということは誤りだ
事実21: もしあるものが坂道でないなら跨がるしその上収穫するということはない
事実22: 仮にあの中国山地が異化するとすればこの三鳥は素晴らし

仮説: 「この本事例は消耗し切らないか篆刻家であるということはないかもしくはどちらもだ」ということは誤りである
1. 事実17と事実19から、推論1: "「あの中国山地は異化するということはない一方で瑞々しい」ということは成り立たない"が導かれる
2. 推論1と事実18から、推論2: "この三鳥は素晴らし"が導かれる
3. 推論2と事実9から、仮説が否定される

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