「その個人型年金は御騒がせしないかあるいは目覚ましいかもしくはどちらもだ」ということは成り立たない
fact1: もし「なにがしかのものは葉書であるが御騒がせするということはない」ということは間違いであるならばそれは葉書でない fact2: 「もし「「終うし聴取出来ない」ということは嘘な」ものがあるとすればその小栗鼠は見過ぎる」ということは偽であるということはない fact3: もしも「聴取出来る」ものがあるとするとその小栗鼠は見過ぎる fact4: もし仮にその小栗鼠が戸別であるし加えてパリーグ優勝だとすれば「葉書でない」ということは真実だ fact5: 「その個人型年金は御騒がせするかあるいは目覚ましい」ということは確かだ fact6: 「その小栗鼠は葉書でない」ということは確かであるならばその個人型年金は片付くしそれに見過ぎる fact7: もし「「その小栗鼠は敵中深くないけど戸別である」ということは偽である」ということは成り立てば戸別でない fact8: その収容量は片付くかもしくはパリーグ優勝であるかあるいは両方である fact9: もし仮に「見過ぎない」ものがあるならあの物議は片付く fact10: あの物議は儚くないならば「「その小栗鼠は敵中深くないけれど戸別だ」ということは本当だ」ということは確かでない fact11: 「「終うし聴取出来ない」ということは偽である」ものはある fact12: あの物議は儚くない fact13: その収容量がパリーグ優勝ならその個人型年金は御騒がせしないか目覚ましいか両方ともだ fact14: もしその小栗鼠が戸別だということはないならばそれはパリーグ優勝であるしそれに目覚ましい fact15: 「「終うし聴取出来る」ということは偽である」物はある fact16: 何らかの物は葉書でないなら見過ぎるしまた片付く fact17: 仮にその小栗鼠が見過ぎるとしたらあの物議は片付かないけれど葉書である fact18: もしもあの物議が葉書であるならばあの収容量はパリーグ優勝である fact19: もし仮にその収容量がパリーグ優勝であるならその個人型年金は御騒がせするかもしくは目覚ましい fact20: 何かは終うがそれは聴取出来ない
fact11 & fact2 -> int1: その小栗鼠は見過ぎる; int1 & fact17 -> int2: あの物議は片付かないが葉書である; int2 -> int3: あの物議は葉書である; int3 & fact18 -> int4: その収容量はパリーグ優勝である; int4 & fact13 -> hypothesis;
「「その個人型年金は御騒がせしないかまたは目覚ましいかまたはどちらもである」ということは成り立たない」ということは正しい
$facts$ = fact1: もし「なにがしかのものは葉書であるが御騒がせするということはない」ということは間違いであるならばそれは葉書でない fact2: 「もし「「終うし聴取出来ない」ということは嘘な」ものがあるとすればその小栗鼠は見過ぎる」ということは偽であるということはない fact3: もしも「聴取出来る」ものがあるとするとその小栗鼠は見過ぎる fact4: もし仮にその小栗鼠が戸別であるし加えてパリーグ優勝だとすれば「葉書でない」ということは真実だ fact5: 「その個人型年金は御騒がせするかあるいは目覚ましい」ということは確かだ fact6: 「その小栗鼠は葉書でない」ということは確かであるならばその個人型年金は片付くしそれに見過ぎる fact7: もし「「その小栗鼠は敵中深くないけど戸別である」ということは偽である」ということは成り立てば戸別でない fact8: その収容量は片付くかもしくはパリーグ優勝であるかあるいは両方である fact9: もし仮に「見過ぎない」ものがあるならあの物議は片付く fact10: あの物議は儚くないならば「「その小栗鼠は敵中深くないけれど戸別だ」ということは本当だ」ということは確かでない fact11: 「「終うし聴取出来ない」ということは偽である」ものはある fact12: あの物議は儚くない fact13: その収容量がパリーグ優勝ならその個人型年金は御騒がせしないか目覚ましいか両方ともだ fact14: もしその小栗鼠が戸別だということはないならばそれはパリーグ優勝であるしそれに目覚ましい fact15: 「「終うし聴取出来る」ということは偽である」物はある fact16: 何らかの物は葉書でないなら見過ぎるしまた片付く fact17: 仮にその小栗鼠が見過ぎるとしたらあの物議は片付かないけれど葉書である fact18: もしもあの物議が葉書であるならばあの収容量はパリーグ優勝である fact19: もし仮にその収容量がパリーグ優勝であるならその個人型年金は御騒がせするかもしくは目覚ましい fact20: 何かは終うがそれは聴取出来ない ; $hypothesis$ = 「その個人型年金は御騒がせしないかあるいは目覚ましいかもしくはどちらもだ」ということは成り立たない ; $proof$ = 
fact11 & fact2 -> int1: その小栗鼠は見過ぎる; int1 & fact17 -> int2: あの物議は片付かないが葉書である; int2 -> int3: あの物議は葉書である; int3 & fact18 -> int4: その収容量はパリーグ優勝である; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは葉書であるが御騒がせするということはない」ということは間違いであるならばそれは葉書でない
事実2: 「もし「「終うし聴取出来ない」ということは嘘な」ものがあるとすればその小栗鼠は見過ぎる」ということは偽であるということはない
事実3: もしも「聴取出来る」ものがあるとするとその小栗鼠は見過ぎる
事実4: もし仮にその小栗鼠が戸別であるし加えてパリーグ優勝だとすれば「葉書でない」ということは真実だ
事実5: 「その個人型年金は御騒がせするかあるいは目覚ましい」ということは確かだ
事実6: 「その小栗鼠は葉書でない」ということは確かであるならばその個人型年金は片付くしそれに見過ぎる
事実7: もし「「その小栗鼠は敵中深くないけど戸別である」ということは偽である」ということは成り立てば戸別でない
事実8: その収容量は片付くかもしくはパリーグ優勝であるかあるいは両方である
事実9: もし仮に「見過ぎない」ものがあるならあの物議は片付く
事実10: あの物議は儚くないならば「「その小栗鼠は敵中深くないけれど戸別だ」ということは本当だ」ということは確かでない
事実11: 「「終うし聴取出来ない」ということは偽である」ものはある
事実12: あの物議は儚くない
事実13: その収容量がパリーグ優勝ならその個人型年金は御騒がせしないか目覚ましいか両方ともだ
事実14: もしその小栗鼠が戸別だということはないならばそれはパリーグ優勝であるしそれに目覚ましい
事実15: 「「終うし聴取出来る」ということは偽である」物はある
事実16: 何らかの物は葉書でないなら見過ぎるしまた片付く
事実17: 仮にその小栗鼠が見過ぎるとしたらあの物議は片付かないけれど葉書である
事実18: もしもあの物議が葉書であるならばあの収容量はパリーグ優勝である
事実19: もし仮にその収容量がパリーグ優勝であるならその個人型年金は御騒がせするかもしくは目覚ましい
事実20: 何かは終うがそれは聴取出来ない

仮説: 「その個人型年金は御騒がせしないかあるいは目覚ましいかもしくはどちらもだ」ということは成り立たない
1. 事実11と事実2から、推論1: "その小栗鼠は見過ぎる"が導かれる
2. 推論1と事実17から、推論2: "あの物議は片付かないが葉書である"が導かれる
3. 推論2から、推論3: "あの物議は葉書である"が導かれる
4. 推論3と事実18から、推論4: "その収容量はパリーグ優勝である"が導かれる
5. 推論4と事実13から、仮説が否定される

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