「そのクリちゃんは面取りするかもしくはそれは手当てである」ということは成り立たない
fact1: あのビルディングは通所する fact2: 仮にある物が通所するしまた十三トリソミーならあの職員室は焼き豚でない fact3: あのビルディングは十三トリソミーである fact4: もしもあの職員室が焼き豚でないならばあのクリちゃんは面取りするか手当てである fact5: あのフライ返しは通所する
fact1 & fact3 -> int1: あのビルディングは通所するしそれに十三トリソミーだ; int1 -> int2: 「何かは通所するしかつ十三トリソミーだ」ということは確かだ; int2 & fact2 -> int3: あの職員室は焼き豚でない; int3 & fact4 -> hypothesis;
$facts$ = fact1: あのビルディングは通所する fact2: 仮にある物が通所するしまた十三トリソミーならあの職員室は焼き豚でない fact3: あのビルディングは十三トリソミーである fact4: もしもあの職員室が焼き豚でないならばあのクリちゃんは面取りするか手当てである fact5: あのフライ返しは通所する ; $hypothesis$ = 「そのクリちゃんは面取りするかもしくはそれは手当てである」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: あのビルディングは通所するしそれに十三トリソミーだ; int1 -> int2: 「何かは通所するしかつ十三トリソミーだ」ということは確かだ; int2 & fact2 -> int3: あの職員室は焼き豚でない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: あのビルディングは通所する
事実2: 仮にある物が通所するしまた十三トリソミーならあの職員室は焼き豚でない
事実3: あのビルディングは十三トリソミーである
事実4: もしもあの職員室が焼き豚でないならばあのクリちゃんは面取りするか手当てである
事実5: あのフライ返しは通所する

仮説: 「そのクリちゃんは面取りするかもしくはそれは手当てである」ということは成り立たない
1. 事実1と事実3から、推論1: "あのビルディングは通所するしそれに十三トリソミーだ"が導かれる
2. 推論1から、推論2: "「何かは通所するしかつ十三トリソミーだ」ということは確かだ"が導かれる
3. 推論2と事実2から、推論3: "あの職員室は焼き豚でない"が導かれる
4. 推論3と事実4から、仮説が否定される

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