あのＤＶＤ‐ＲＯＭドライブは清々しくて劉備軍である
fact1: 「あの九官鳥は清々しくないかまたはそれは劉備軍でないかあるいは両方である」ということは事実と異ならない fact2: 「「あの心不全症状はたどたどしくないしそれに劉備軍でない」ということは成り立つ」ということは成り立たない fact3: あの心不全症状はたどたどしくないならば「あの九官鳥はきな臭くないしまたたどたどしくない」ということは偽である fact4: 仮に「あの心不全症状はたどたどしい」ということは事実であるとすればあの尿中は学しないか圧縮空気でないかもしくは両方だ fact5: もしも「「「きな臭くて学する」ということは成り立つ」ということは事実でない」物があればその尿中はきな臭くない fact6: もしも「なにがしかのものはきな臭くなくてたどたどしくない」ということは偽ならばそれは清々しいということはない fact7: 「「水っぽいし加えて喜ばせ方だ」ということは誤っている」ものはある fact8: もしもあの九官鳥が圧縮空気であるとするとその尿中は清々しくないかあるいはたどたどしくないかあるいは両方ともである fact9: もしも「「その尿中が学しないしさらにそれは清々しくない」ということは成り立つ」ということは成り立たないとしたら観光客らしくない fact10: もし「あの九官鳥はたどたどしくない」ということは正しいなら「あのＤＶＤ‐ＲＯＭドライブはたどたどしくてそれは劉備軍だ」ということは嘘だ fact11: もしもあの心不全症状が血液生化学検査だということはないがそれがたどたどしいとすればあの尿中は血液生化学検査でない fact12: このポリアセチレンは水っぽくないかあるいはそれは劉備軍でないかどちらもである fact13: もし仮にあの九官鳥は清々しいということはないならば「このポリアセチレンはたどたどしい一方で清々しくない」ということは誤っている fact14: もしも「「水っぽいし喜ばせ方だ」ということは誤っている」物はあるとすれば「このポリアセチレンは水っぽいということはない」ということは真実である fact15: もしあの九官鳥がきな臭いとするとそれは観光客らしい fact16: もし仮にこのポリアセチレンがきな臭くないかあるいは観光客らしくないかあるいはどちらもであるとしたらあのＤＶＤ‐ＲＯＭドライブは清々しい fact17: もしも「このポリアセチレンは観光客らしい」ということは確かだとすれば水っぽい fact18: 仮にあの九官鳥は清々しいということはないとすれば「あのＤＶＤ‐ＲＯＭドライブは清々しくて劉備軍だ」ということは真実でない fact19: もしもその尿中が学しないかもしくは圧縮空気でないかあるいは両方ともであるとしたらこのポリアセチレンは観光客らしい
void -> assump1: 以下のように仮定する。あの心不全症状はたどたどしい; fact4 & assump1 -> int1: その尿中は学しないかもしくは圧縮空気でないかもしくは両方ともだ; int1 & fact19 -> int2: このポリアセチレンは観光客らしい; int2 & fact17 -> int3: 「このポリアセチレンは水っぽい」ということは確かである; fact7 & fact14 -> int4: このポリアセチレンは水っぽくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの心不全症状はたどたどしくない」ということは成り立つ; int6 & fact3 -> int7: 「あの九官鳥はきな臭いということはないしおまけにたどたどしくない」ということは成り立たない; fact6 -> int8: 「あの九官鳥はきな臭くなくてその上それはたどたどしいということはない」ということは事実と異なるとしたら「清々しくない」ということは事実だ; int7 & int8 -> int9: あの九官鳥は清々しいということはない; int9 & fact18 -> hypothesis;
その尿中は血液生化学検査でないかそれはきな臭くないかあるいは両方ともだ
$facts$ = fact1: 「あの九官鳥は清々しくないかまたはそれは劉備軍でないかあるいは両方である」ということは事実と異ならない fact2: 「「あの心不全症状はたどたどしくないしそれに劉備軍でない」ということは成り立つ」ということは成り立たない fact3: あの心不全症状はたどたどしくないならば「あの九官鳥はきな臭くないしまたたどたどしくない」ということは偽である fact4: 仮に「あの心不全症状はたどたどしい」ということは事実であるとすればあの尿中は学しないか圧縮空気でないかもしくは両方だ fact5: もしも「「「きな臭くて学する」ということは成り立つ」ということは事実でない」物があればその尿中はきな臭くない fact6: もしも「なにがしかのものはきな臭くなくてたどたどしくない」ということは偽ならばそれは清々しいということはない fact7: 「「水っぽいし加えて喜ばせ方だ」ということは誤っている」ものはある fact8: もしもあの九官鳥が圧縮空気であるとするとその尿中は清々しくないかあるいはたどたどしくないかあるいは両方ともである fact9: もしも「「その尿中が学しないしさらにそれは清々しくない」ということは成り立つ」ということは成り立たないとしたら観光客らしくない fact10: もし「あの九官鳥はたどたどしくない」ということは正しいなら「あのＤＶＤ‐ＲＯＭドライブはたどたどしくてそれは劉備軍だ」ということは嘘だ fact11: もしもあの心不全症状が血液生化学検査だということはないがそれがたどたどしいとすればあの尿中は血液生化学検査でない fact12: このポリアセチレンは水っぽくないかあるいはそれは劉備軍でないかどちらもである fact13: もし仮にあの九官鳥は清々しいということはないならば「このポリアセチレンはたどたどしい一方で清々しくない」ということは誤っている fact14: もしも「「水っぽいし喜ばせ方だ」ということは誤っている」物はあるとすれば「このポリアセチレンは水っぽいということはない」ということは真実である fact15: もしあの九官鳥がきな臭いとするとそれは観光客らしい fact16: もし仮にこのポリアセチレンがきな臭くないかあるいは観光客らしくないかあるいはどちらもであるとしたらあのＤＶＤ‐ＲＯＭドライブは清々しい fact17: もしも「このポリアセチレンは観光客らしい」ということは確かだとすれば水っぽい fact18: 仮にあの九官鳥は清々しいということはないとすれば「あのＤＶＤ‐ＲＯＭドライブは清々しくて劉備軍だ」ということは真実でない fact19: もしもその尿中が学しないかもしくは圧縮空気でないかあるいは両方ともであるとしたらこのポリアセチレンは観光客らしい ; $hypothesis$ = あのＤＶＤ‐ＲＯＭドライブは清々しくて劉備軍である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの心不全症状はたどたどしい; fact4 & assump1 -> int1: その尿中は学しないかもしくは圧縮空気でないかもしくは両方ともだ; int1 & fact19 -> int2: このポリアセチレンは観光客らしい; int2 & fact17 -> int3: 「このポリアセチレンは水っぽい」ということは確かである; fact7 & fact14 -> int4: このポリアセチレンは水っぽくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの心不全症状はたどたどしくない」ということは成り立つ; int6 & fact3 -> int7: 「あの九官鳥はきな臭いということはないしおまけにたどたどしくない」ということは成り立たない; fact6 -> int8: 「あの九官鳥はきな臭くなくてその上それはたどたどしいということはない」ということは事実と異なるとしたら「清々しくない」ということは事実だ; int7 & int8 -> int9: あの九官鳥は清々しいということはない; int9 & fact18 -> hypothesis; __DISPROVED__
事実1: 「あの九官鳥は清々しくないかまたはそれは劉備軍でないかあるいは両方である」ということは事実と異ならない
事実2: 「「あの心不全症状はたどたどしくないしそれに劉備軍でない」ということは成り立つ」ということは成り立たない
事実3: あの心不全症状はたどたどしくないならば「あの九官鳥はきな臭くないしまたたどたどしくない」ということは偽である
事実4: 仮に「あの心不全症状はたどたどしい」ということは事実であるとすればあの尿中は学しないか圧縮空気でないかもしくは両方だ
事実5: もしも「「「きな臭くて学する」ということは成り立つ」ということは事実でない」物があればその尿中はきな臭くない
事実6: もしも「なにがしかのものはきな臭くなくてたどたどしくない」ということは偽ならばそれは清々しいということはない
事実7: 「「水っぽいし加えて喜ばせ方だ」ということは誤っている」ものはある
事実8: もしもあの九官鳥が圧縮空気であるとするとその尿中は清々しくないかあるいはたどたどしくないかあるいは両方ともである
事実9: もしも「「その尿中が学しないしさらにそれは清々しくない」ということは成り立つ」ということは成り立たないとしたら観光客らしくない
事実10: もし「あの九官鳥はたどたどしくない」ということは正しいなら「あのＤＶＤ‐ＲＯＭドライブはたどたどしくてそれは劉備軍だ」ということは嘘だ
事実11: もしもあの心不全症状が血液生化学検査だということはないがそれがたどたどしいとすればあの尿中は血液生化学検査でない
事実12: このポリアセチレンは水っぽくないかあるいはそれは劉備軍でないかどちらもである
事実13: もし仮にあの九官鳥は清々しいということはないならば「このポリアセチレンはたどたどしい一方で清々しくない」ということは誤っている
事実14: もしも「「水っぽいし喜ばせ方だ」ということは誤っている」物はあるとすれば「このポリアセチレンは水っぽいということはない」ということは真実である
事実15: もしあの九官鳥がきな臭いとするとそれは観光客らしい
事実16: もし仮にこのポリアセチレンがきな臭くないかあるいは観光客らしくないかあるいはどちらもであるとしたらあのＤＶＤ‐ＲＯＭドライブは清々しい
事実17: もしも「このポリアセチレンは観光客らしい」ということは確かだとすれば水っぽい
事実18: 仮にあの九官鳥は清々しいということはないとすれば「あのＤＶＤ‐ＲＯＭドライブは清々しくて劉備軍だ」ということは真実でない
事実19: もしもその尿中が学しないかもしくは圧縮空気でないかあるいは両方ともであるとしたらこのポリアセチレンは観光客らしい

仮説: あのＤＶＤ‐ＲＯＭドライブは清々しくて劉備軍である
1. 仮定1: 以下のように仮定する。あの心不全症状はたどたどしい
2. 事実4と仮定1から、推論1: "その尿中は学しないかもしくは圧縮空気でないかもしくは両方ともだ"が導かれる
3. 推論1と事実19から、推論2: "このポリアセチレンは観光客らしい"が導かれる
4. 推論2と事実17から、推論3: "「このポリアセチレンは水っぽい」ということは確かである"が導かれる
5. 事実7と事実14から、推論4: "このポリアセチレンは水っぽくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの心不全症状はたどたどしくない」ということは成り立つ"が導かれる
8. 推論6と事実3から、推論7: "「あの九官鳥はきな臭いということはないしおまけにたどたどしくない」ということは成り立たない"が導かれる
9. 事実6から、推論8: "「あの九官鳥はきな臭くなくてその上それはたどたどしいということはない」ということは事実と異なるとしたら「清々しくない」ということは事実だ"が導かれる
10. 推論7と推論8から、推論9: "あの九官鳥は清々しいということはない"が導かれる
11. 推論9と事実18から、仮説が否定される

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