「その唯一性が臭味だとするとそのトランクルームはＦＡ点であるがしかしそれは日本書記でない」ということは成り立つということはない
fact1: 「バックス・フィズであるということはない」ものはある fact2: そのナレーターはビーコンでない fact3: もしもあるものが訴求するなら長ーくない fact4: もし仮になんらかの物が臭味であるということはないならばその唯一性は日本書記だ一方で三呼吸しない fact5: とあるものが出稿するならそれはバリエーションでない fact6: そのリスクアセットは日本書記だということはない fact7: もし「その唯一性は日本書記である」ということは正しいとするとそれは臭味だということはない fact8: その唯一性は冷め易いけれどおっかなくない fact9: 「「三呼吸しない」ものがあるならばあのトランクルームはＦＡ点であるけど日本書記でない」ということは成り立つ fact10: そのトランクルームはテレビ中継しない fact11: もし仮にそのトランクルームが三呼吸するとしたらその唯一性は臭味であるしさらにそれはＦＡ点だ fact12: もしもその唯一性は臭味であるとすればそれは日本書記であるということはない fact13: 仮に「臭味でない」物があるならその唯一性はＦＡ点だが三呼吸しない fact14: もしもそのトランクルームがＦＡ点であるならその唯一性は日本書記である fact15: 臭味は三呼吸しない fact16: そのトランクルームが三呼吸するとするとその唯一性は臭味である fact17: もし仮になにがしかの物がＦＡ点であるということはないならそのトランクルームが臭味だしまた日本書記だ fact18: 仮にそのトランクルームが臭味であるならばあの唯一性はＦＡ点である fact19: 仮にそのトランクルームはＦＡ点であるとしたらそれは臭味でない fact20: 「日本書記でない」ものはある fact21: とある物は開削工事でない
fact15 -> int1: 「その唯一性は臭味である」ということは成り立つとすれば三呼吸しない; void -> assump1: 以下のように仮定する。その唯一性は臭味だ; int1 & assump1 -> int2: その唯一性は三呼吸しない; int2 -> int3: 「「三呼吸しない」ということは成り立つ」物はある; int3 & fact9 -> int4: そのトランクルームはＦＡ点であるけれど日本書記でない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「バックス・フィズであるということはない」ものはある fact2: そのナレーターはビーコンでない fact3: もしもあるものが訴求するなら長ーくない fact4: もし仮になんらかの物が臭味であるということはないならばその唯一性は日本書記だ一方で三呼吸しない fact5: とあるものが出稿するならそれはバリエーションでない fact6: そのリスクアセットは日本書記だということはない fact7: もし「その唯一性は日本書記である」ということは正しいとするとそれは臭味だということはない fact8: その唯一性は冷め易いけれどおっかなくない fact9: 「「三呼吸しない」ものがあるならばあのトランクルームはＦＡ点であるけど日本書記でない」ということは成り立つ fact10: そのトランクルームはテレビ中継しない fact11: もし仮にそのトランクルームが三呼吸するとしたらその唯一性は臭味であるしさらにそれはＦＡ点だ fact12: もしもその唯一性は臭味であるとすればそれは日本書記であるということはない fact13: 仮に「臭味でない」物があるならその唯一性はＦＡ点だが三呼吸しない fact14: もしもそのトランクルームがＦＡ点であるならその唯一性は日本書記である fact15: 臭味は三呼吸しない fact16: そのトランクルームが三呼吸するとするとその唯一性は臭味である fact17: もし仮になにがしかの物がＦＡ点であるということはないならそのトランクルームが臭味だしまた日本書記だ fact18: 仮にそのトランクルームが臭味であるならばあの唯一性はＦＡ点である fact19: 仮にそのトランクルームはＦＡ点であるとしたらそれは臭味でない fact20: 「日本書記でない」ものはある fact21: とある物は開削工事でない ; $hypothesis$ = 「その唯一性が臭味だとするとそのトランクルームはＦＡ点であるがしかしそれは日本書記でない」ということは成り立つということはない ; $proof$ = 
fact15 -> int1: 「その唯一性は臭味である」ということは成り立つとすれば三呼吸しない; void -> assump1: 以下のように仮定する。その唯一性は臭味だ; int1 & assump1 -> int2: その唯一性は三呼吸しない; int2 -> int3: 「「三呼吸しない」ということは成り立つ」物はある; int3 & fact9 -> int4: そのトランクルームはＦＡ点であるけれど日本書記でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「バックス・フィズであるということはない」ものはある
事実2: そのナレーターはビーコンでない
事実3: もしもあるものが訴求するなら長ーくない
事実4: もし仮になんらかの物が臭味であるということはないならばその唯一性は日本書記だ一方で三呼吸しない
事実5: とあるものが出稿するならそれはバリエーションでない
事実6: そのリスクアセットは日本書記だということはない
事実7: もし「その唯一性は日本書記である」ということは正しいとするとそれは臭味だということはない
事実8: その唯一性は冷め易いけれどおっかなくない
事実9: 「「三呼吸しない」ものがあるならばあのトランクルームはＦＡ点であるけど日本書記でない」ということは成り立つ
事実10: そのトランクルームはテレビ中継しない
事実11: もし仮にそのトランクルームが三呼吸するとしたらその唯一性は臭味であるしさらにそれはＦＡ点だ
事実12: もしもその唯一性は臭味であるとすればそれは日本書記であるということはない
事実13: 仮に「臭味でない」物があるならその唯一性はＦＡ点だが三呼吸しない
事実14: もしもそのトランクルームがＦＡ点であるならその唯一性は日本書記である
事実15: 臭味は三呼吸しない
事実16: そのトランクルームが三呼吸するとするとその唯一性は臭味である
事実17: もし仮になにがしかの物がＦＡ点であるということはないならそのトランクルームが臭味だしまた日本書記だ
事実18: 仮にそのトランクルームが臭味であるならばあの唯一性はＦＡ点である
事実19: 仮にそのトランクルームはＦＡ点であるとしたらそれは臭味でない
事実20: 「日本書記でない」ものはある
事実21: とある物は開削工事でない

仮説: 「その唯一性が臭味だとするとそのトランクルームはＦＡ点であるがしかしそれは日本書記でない」ということは成り立つということはない
1. 事実15から、推論1: "「その唯一性は臭味である」ということは成り立つとすれば三呼吸しない"が導かれる
2. 仮定1: 以下のように仮定する。その唯一性は臭味だ
3. 推論1と仮定1から、推論2: "その唯一性は三呼吸しない"が導かれる
4. 推論2から、推論3: "「「三呼吸しない」ということは成り立つ」物はある"が導かれる
5. 推論3と事実9から、推論4: "そのトランクルームはＦＡ点であるけれど日本書記でない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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