このチベット人は生合成しない
fact1: もし「この入れ歯作りは接待行為であるがしかし訝しくない」ということは偽だとしたら訝しい fact2: もしもこの運輸大臣が訝しいならばこのチベット人は生合成する fact3: もし仮にあるものはハンドルネームなら「それは接待行為だがしかし訝しくない」ということは成り立たない fact4: 何もかもは一般都市であるけど支障無くない fact5: 全てはこってりするしさらにそれは押し付けがましかない fact6: 「「この運輸大臣は入滅しない」ということは成り立たない」ということは確かだ fact7: 仮に「とある物がこってりするがそれが押し付けはましくらない」ということは確かならば訝しい fact8: この運輸大臣は生合成しない fact9: あの逮捕・勾留は生合成しない
fact5 -> int1: この運輸大臣はこってりする一方でそれは押し付けがましかない; fact7 -> int2: この運輸大臣はこってりする一方で押し付けがましかないならばそれは訝しい; int1 & int2 -> int3: 「この運輸大臣は訝しい」ということは正しい; int3 & fact2 -> hypothesis;
このチベット人は生合成しない
fact11 -> int4: もし仮にこの入れ歯作りはハンドルネームなら「接待行為であるが訝しくない」ということは間違いだ;
$facts$ = fact1: もし「この入れ歯作りは接待行為であるがしかし訝しくない」ということは偽だとしたら訝しい fact2: もしもこの運輸大臣が訝しいならばこのチベット人は生合成する fact3: もし仮にあるものはハンドルネームなら「それは接待行為だがしかし訝しくない」ということは成り立たない fact4: 何もかもは一般都市であるけど支障無くない fact5: 全てはこってりするしさらにそれは押し付けがましかない fact6: 「「この運輸大臣は入滅しない」ということは成り立たない」ということは確かだ fact7: 仮に「とある物がこってりするがそれが押し付けはましくらない」ということは確かならば訝しい fact8: この運輸大臣は生合成しない fact9: あの逮捕・勾留は生合成しない ; $hypothesis$ = このチベット人は生合成しない ; $proof$ = 
fact5 -> int1: この運輸大臣はこってりする一方でそれは押し付けがましかない; fact7 -> int2: この運輸大臣はこってりする一方で押し付けがましかないならばそれは訝しい; int1 & int2 -> int3: 「この運輸大臣は訝しい」ということは正しい; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「この入れ歯作りは接待行為であるがしかし訝しくない」ということは偽だとしたら訝しい
事実2: もしもこの運輸大臣が訝しいならばこのチベット人は生合成する
事実3: もし仮にあるものはハンドルネームなら「それは接待行為だがしかし訝しくない」ということは成り立たない
事実4: 何もかもは一般都市であるけど支障無くない
事実5: 全てはこってりするしさらにそれは押し付けがましかない
事実6: 「「この運輸大臣は入滅しない」ということは成り立たない」ということは確かだ
事実7: 仮に「とある物がこってりするがそれが押し付けはましくらない」ということは確かならば訝しい
事実8: この運輸大臣は生合成しない
事実9: あの逮捕・勾留は生合成しない

仮説: このチベット人は生合成しない
1. 事実5から、推論1: "この運輸大臣はこってりする一方でそれは押し付けがましかない"が導かれる
2. 事実7から、推論2: "この運輸大臣はこってりする一方で押し付けがましかないならばそれは訝しい"が導かれる
3. 推論1と推論2から、推論3: "「この運輸大臣は訝しい」ということは正しい"が導かれる
4. 推論3と事実2から、仮説が否定される

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