この都市人口は掻っ払う
fact1: もし「この労災死は清ししおまけに着艦する」ということは成り立つということはないとしたらこの都市人口は掻っ払わない fact2: 仮になんらかのものは補導しないなら「それは清ししかつ着艦する」ということは成り立たない fact3: もしも「あの経済的理由は疑り深いが排尿しない」ということは誤りだとするとこの労災死は補導しない fact4: 仮に「何らかのものは掻っ払わないし補導しない」ということは誤りなら排尿しない fact5: なにがしかのものが補導するということはないかもしくはそれは疑り深いかあるいはどちらもであるならば掻っ払う fact6: 「あの経済的理由は疑り深いがしかし排尿するということはない」ということは誤りである
fact2 -> int1: もしもこの労災死は補導しないとすれば「清しし着艦する」ということは間違いだ; fact6 & fact3 -> int2: この労災死は補導しない; int1 & int2 -> int3: 「この労災死は清しし着艦する」ということは真実だということはない; int3 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); fact6 & fact3 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & {AB}{aa}); int3 & fact1 -> hypothesis;
あの肺動脈内腔は排尿しない
fact7 -> int4: 仮に「あの肺動脈内腔は掻っ払わなくて補導しない」ということは偽であるならそれは排尿しない;
$facts$ = fact1: もし「この労災死は清ししおまけに着艦する」ということは成り立つということはないとしたらこの都市人口は掻っ払わない fact2: 仮になんらかのものは補導しないなら「それは清ししかつ着艦する」ということは成り立たない fact3: もしも「あの経済的理由は疑り深いが排尿しない」ということは誤りだとするとこの労災死は補導しない fact4: 仮に「何らかのものは掻っ払わないし補導しない」ということは誤りなら排尿しない fact5: なにがしかのものが補導するということはないかもしくはそれは疑り深いかあるいはどちらもであるならば掻っ払う fact6: 「あの経済的理由は疑り深いがしかし排尿するということはない」ということは誤りである ; $hypothesis$ = この都市人口は掻っ払う ; $proof$ = 
fact2 -> int1: もしもこの労災死は補導しないとすれば「清しし着艦する」ということは間違いだ; fact6 & fact3 -> int2: この労災死は補導しない; int1 & int2 -> int3: 「この労災死は清しし着艦する」ということは真実だということはない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「この労災死は清ししおまけに着艦する」ということは成り立つということはないとしたらこの都市人口は掻っ払わない
事実2: 仮になんらかのものは補導しないなら「それは清ししかつ着艦する」ということは成り立たない
事実3: もしも「あの経済的理由は疑り深いが排尿しない」ということは誤りだとするとこの労災死は補導しない
事実4: 仮に「何らかのものは掻っ払わないし補導しない」ということは誤りなら排尿しない
事実5: なにがしかのものが補導するということはないかもしくはそれは疑り深いかあるいはどちらもであるならば掻っ払う
事実6: 「あの経済的理由は疑り深いがしかし排尿するということはない」ということは誤りである

仮説: この都市人口は掻っ払う
1. 事実2から、推論1: "もしもこの労災死は補導しないとすれば「清しし着艦する」ということは間違いだ"が導かれる
2. 事実6と事実3から、推論2: "この労災死は補導しない"が導かれる
3. 推論1と推論2から、推論3: "「この労災死は清しし着艦する」ということは真実だということはない"が導かれる
4. 推論3と事実1から、仮説が否定される

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