この史跡名勝天然記念物はパートナーソングでない
fact1: この史跡名勝天然記念物が時計台でないが似付かわしいとしたらパートナーソングでない fact2: もしもこの疑い深さは買い求めないならば「「その本命は似付かわしいしそれにパートナーソングである」ということは成り立つ」ということは正しくない fact3: 仮にとある物がきな臭いとするとパートナーソングだ fact4: もし仮にあの千九百八十年代後半以降が時計台だとしたらこの史跡名勝天然記念物は時計台でないがしかしそれは似付かわしい fact5: もしもなんらかのものは蓄積され易くないならば「囁き合うがきな臭くない」ということは成り立たない fact6: 何らかの物は時計台ならば「それはきな臭くなくてしかも蓄積され易くない」ということは成り立たない fact7: もしもあの千九百八十年代後半以降がきな臭いけどそれが時計台でないとするとその積分時間間隔は貧しくない fact8: 仮にその積分時間間隔がパートナーソングでないとすると貧しいということはないかあるいは時計台だ fact9: もしもあの千九百八十年代後半以降が時計台だとするとこの史跡名勝天然記念物は似付かわしい fact10: その積分時間間隔は貧しい fact11: あの千九百八十年代後半以降はきな臭いししかも蓄積され易い fact12: あの千九百八十年代後半以降は蓄積され易い fact13: 「その本命は似付かわしいしパートナーソングだ」ということは偽ならばその積分時間間隔はパートナーソングでない
fact11 -> int1: あの千九百八十年代後半以降はきな臭い; void -> assump1: 以下のように仮定する。あの千九百八十年代後半以降は時計台でない; int1 & assump1 -> int2: あの千九百八十年代後半以降はきな臭いがしかしそれは時計台だということはない; int2 & fact7 -> int3: その積分時間間隔は貧しいということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの千九百八十年代後半以降は時計台である」ということは本当だ; int5 & fact4 -> int6: この史跡名勝天然記念物は時計台でないが似付かわしい; int6 & fact1 -> hypothesis;
この史跡名勝天然記念物は囁き合わない
fact16 -> int7: 仮にあの千九百八十年代後半以降は蓄積され易いということはないならば「囁き合うしおまけにそれはきな臭くない」ということは成り立たない;
$facts$ = fact1: この史跡名勝天然記念物が時計台でないが似付かわしいとしたらパートナーソングでない fact2: もしもこの疑い深さは買い求めないならば「「その本命は似付かわしいしそれにパートナーソングである」ということは成り立つ」ということは正しくない fact3: 仮にとある物がきな臭いとするとパートナーソングだ fact4: もし仮にあの千九百八十年代後半以降が時計台だとしたらこの史跡名勝天然記念物は時計台でないがしかしそれは似付かわしい fact5: もしもなんらかのものは蓄積され易くないならば「囁き合うがきな臭くない」ということは成り立たない fact6: 何らかの物は時計台ならば「それはきな臭くなくてしかも蓄積され易くない」ということは成り立たない fact7: もしもあの千九百八十年代後半以降がきな臭いけどそれが時計台でないとするとその積分時間間隔は貧しくない fact8: 仮にその積分時間間隔がパートナーソングでないとすると貧しいということはないかあるいは時計台だ fact9: もしもあの千九百八十年代後半以降が時計台だとするとこの史跡名勝天然記念物は似付かわしい fact10: その積分時間間隔は貧しい fact11: あの千九百八十年代後半以降はきな臭いししかも蓄積され易い fact12: あの千九百八十年代後半以降は蓄積され易い fact13: 「その本命は似付かわしいしパートナーソングだ」ということは偽ならばその積分時間間隔はパートナーソングでない ; $hypothesis$ = この史跡名勝天然記念物はパートナーソングでない ; $proof$ = 
fact11 -> int1: あの千九百八十年代後半以降はきな臭い; void -> assump1: 以下のように仮定する。あの千九百八十年代後半以降は時計台でない; int1 & assump1 -> int2: あの千九百八十年代後半以降はきな臭いがしかしそれは時計台だということはない; int2 & fact7 -> int3: その積分時間間隔は貧しいということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの千九百八十年代後半以降は時計台である」ということは本当だ; int5 & fact4 -> int6: この史跡名勝天然記念物は時計台でないが似付かわしい; int6 & fact1 -> hypothesis; __PROVED__
事実1: この史跡名勝天然記念物が時計台でないが似付かわしいとしたらパートナーソングでない
事実2: もしもこの疑い深さは買い求めないならば「「その本命は似付かわしいしそれにパートナーソングである」ということは成り立つ」ということは正しくない
事実3: 仮にとある物がきな臭いとするとパートナーソングだ
事実4: もし仮にあの千九百八十年代後半以降が時計台だとしたらこの史跡名勝天然記念物は時計台でないがしかしそれは似付かわしい
事実5: もしもなんらかのものは蓄積され易くないならば「囁き合うがきな臭くない」ということは成り立たない
事実6: 何らかの物は時計台ならば「それはきな臭くなくてしかも蓄積され易くない」ということは成り立たない
事実7: もしもあの千九百八十年代後半以降がきな臭いけどそれが時計台でないとするとその積分時間間隔は貧しくない
事実8: 仮にその積分時間間隔がパートナーソングでないとすると貧しいということはないかあるいは時計台だ
事実9: もしもあの千九百八十年代後半以降が時計台だとするとこの史跡名勝天然記念物は似付かわしい
事実10: その積分時間間隔は貧しい
事実11: あの千九百八十年代後半以降はきな臭いししかも蓄積され易い
事実12: あの千九百八十年代後半以降は蓄積され易い
事実13: 「その本命は似付かわしいしパートナーソングだ」ということは偽ならばその積分時間間隔はパートナーソングでない

仮説: この史跡名勝天然記念物はパートナーソングでない
1. 事実11から、推論1: "あの千九百八十年代後半以降はきな臭い"が導かれる
2. 仮定1: 以下のように仮定する。あの千九百八十年代後半以降は時計台でない
3. 推論1と仮定1から、推論2: "あの千九百八十年代後半以降はきな臭いがしかしそれは時計台だということはない"が導かれる
4. 推論2と事実7から、推論3: "その積分時間間隔は貧しいということはない"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの千九百八十年代後半以降は時計台である」ということは本当だ"が導かれる
7. 推論5と事実4から、推論6: "この史跡名勝天然記念物は時計台でないが似付かわしい"が導かれる
8. 推論6と事実1から、仮説が導かれる

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