「「疑わしかあるいは生化学であるかまたは両方である」ものはある」ということは成り立たない
fact1: 「歩き掛けるかあるいは疑わしかあるいは両方である」物はある fact2: あの写真フォルダは生化学であるかもしくは酷い fact3: もしも疑わしものが歩き掛けないとするとこの其れっぽっちは生化学でない fact4: あるものは歩き掛ける一方で生化学であるということはない fact5: 何かは疑わしかあるいは歩き掛ける fact6: 仮にあの食べ歩きが歩き掛けないとすればこの其れっぽっちは生化学である fact7: 仮に「あの食べ歩きは生化学でない」ということは真実だとしたらこの其れっぽっちは歩き掛ける fact8: なにがしかの物は入浴料である fact9: 「あの食べ歩きは遣り難いということはない」ということは事実である fact10: この其れっぽっちは遣り難くない fact11: 「社会保障資産であるかあるいはヒップであるか両方である」ものはある fact12: なにかは遣り難くない fact13: この物質的欲求は発つ fact14: 「入浴料でかつ遣り難くない」ものはある fact15: 仮にこの其れっぽっちが歩き掛けないとしたらあの食べ歩きは疑わし fact16: 仮に何かは入浴料であるけど遣り難くないとするとあの食べ歩きは歩き掛けるということはない fact17: この其れっぽっちは歩き掛けるかあるいは疑わしかあるいは両方ともだ fact18: なにかは入浴料であるしその上遣り難い fact19: 何かは流され易いけれどそれは南蛮渡来でない fact20: 「歩き掛けるがしかし疑わしない」ものはある
fact14 & fact16 -> int1: あの食べ歩きは歩き掛けるということはない; int1 & fact6 -> int2: この其れっぽっちは生化学である; int2 -> int3: この其れっぽっちは疑わしかもしくは生化学であるか両方だ; int3 -> hypothesis;
$facts$ = fact1: 「歩き掛けるかあるいは疑わしかあるいは両方である」物はある fact2: あの写真フォルダは生化学であるかもしくは酷い fact3: もしも疑わしものが歩き掛けないとするとこの其れっぽっちは生化学でない fact4: あるものは歩き掛ける一方で生化学であるということはない fact5: 何かは疑わしかあるいは歩き掛ける fact6: 仮にあの食べ歩きが歩き掛けないとすればこの其れっぽっちは生化学である fact7: 仮に「あの食べ歩きは生化学でない」ということは真実だとしたらこの其れっぽっちは歩き掛ける fact8: なにがしかの物は入浴料である fact9: 「あの食べ歩きは遣り難いということはない」ということは事実である fact10: この其れっぽっちは遣り難くない fact11: 「社会保障資産であるかあるいはヒップであるか両方である」ものはある fact12: なにかは遣り難くない fact13: この物質的欲求は発つ fact14: 「入浴料でかつ遣り難くない」ものはある fact15: 仮にこの其れっぽっちが歩き掛けないとしたらあの食べ歩きは疑わし fact16: 仮に何かは入浴料であるけど遣り難くないとするとあの食べ歩きは歩き掛けるということはない fact17: この其れっぽっちは歩き掛けるかあるいは疑わしかあるいは両方ともだ fact18: なにかは入浴料であるしその上遣り難い fact19: 何かは流され易いけれどそれは南蛮渡来でない fact20: 「歩き掛けるがしかし疑わしない」ものはある ; $hypothesis$ = 「「疑わしかあるいは生化学であるかまたは両方である」ものはある」ということは成り立たない ; $proof$ = 
fact14 & fact16 -> int1: あの食べ歩きは歩き掛けるということはない; int1 & fact6 -> int2: この其れっぽっちは生化学である; int2 -> int3: この其れっぽっちは疑わしかもしくは生化学であるか両方だ; int3 -> hypothesis; __DISPROVED__
事実1: 「歩き掛けるかあるいは疑わしかあるいは両方である」物はある
事実2: あの写真フォルダは生化学であるかもしくは酷い
事実3: もしも疑わしものが歩き掛けないとするとこの其れっぽっちは生化学でない
事実4: あるものは歩き掛ける一方で生化学であるということはない
事実5: 何かは疑わしかあるいは歩き掛ける
事実6: 仮にあの食べ歩きが歩き掛けないとすればこの其れっぽっちは生化学である
事実7: 仮に「あの食べ歩きは生化学でない」ということは真実だとしたらこの其れっぽっちは歩き掛ける
事実8: なにがしかの物は入浴料である
事実9: 「あの食べ歩きは遣り難いということはない」ということは事実である
事実10: この其れっぽっちは遣り難くない
事実11: 「社会保障資産であるかあるいはヒップであるか両方である」ものはある
事実12: なにかは遣り難くない
事実13: この物質的欲求は発つ
事実14: 「入浴料でかつ遣り難くない」ものはある
事実15: 仮にこの其れっぽっちが歩き掛けないとしたらあの食べ歩きは疑わし
事実16: 仮に何かは入浴料であるけど遣り難くないとするとあの食べ歩きは歩き掛けるということはない
事実17: この其れっぽっちは歩き掛けるかあるいは疑わしかあるいは両方ともだ
事実18: なにかは入浴料であるしその上遣り難い
事実19: 何かは流され易いけれどそれは南蛮渡来でない
事実20: 「歩き掛けるがしかし疑わしない」ものはある

仮説: 「「疑わしかあるいは生化学であるかまたは両方である」ものはある」ということは成り立たない
1. 事実14と事実16から、推論1: "あの食べ歩きは歩き掛けるということはない"が導かれる
2. 推論1と事実6から、推論2: "この其れっぽっちは生化学である"が導かれる
3. 推論2から、推論3: "この其れっぽっちは疑わしかもしくは生化学であるか両方だ"が導かれる
4. 推論3から、仮説が否定される

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