「この正孔は塩っ辛くないかまたはそれは守護する」ということは偽である
fact1: もしこのど仮は開き易いとすると「この正孔は塩っ辛くないかあるいは守護するか両方ともである」ということは成り立たない fact2: 焦げ臭い物はセットアップでないけど一儲けする fact3: 開き易いものは塩っ辛くないかあるいは守護するか両方ともである fact4: 「「入力者で混注する」ということは誤っている」ものはある fact5: もし仮にその多細胞が焦げ臭いがしかしそれが女性らしくないとしたらこのど仮は焦げ臭い fact6: セットアップは諮問しないが一儲けする fact7: もし仮にある物が諮問しないとすると入力者であるということはない fact8: 「「入力者であるしその上混注する」ということは間違っている」ものがあるとすればこの正孔は開き易い fact9: もしもこのど仮が入力者でないならこのトレースルートは開き易くない fact10: もしもなんらかの物が諮問しないとすればこのど仮は混注するかまたは入力者でないかまたは両方だ fact11: もしなにがしかの物が開き易くないとしたらそれは塩っ辛い fact12: 仮に何らかのものはセットアップだということはないがしかし一儲けすれば諮問しない fact13: もしこのど仮が混注するならこのトレースルートは開き易くない fact14: 仮に何かは入力者だということはないとしたらそれは開き易いしかつ混注する fact15: もし「その多細胞は惨くない」ということは事実なら焦げ臭いものであって更に女性らしくない
fact3 -> int1: この正孔が開き易いならそれは塩っ辛くないか守護するかあるいはどちらもだ; fact8 & fact4 -> int2: この正孔は開き易い; int1 & int2 -> hypothesis;
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); fact8 & fact4 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
このトレースルートは塩っ辛い
fact20 -> int3: もし仮にこのトレースルートが開き易くないとしたら塩っ辛い; fact18 -> int4: もし仮にその多細胞がセットアップであるなら諮問しないし加えて一儲けする;
$facts$ = fact1: もしこのど仮は開き易いとすると「この正孔は塩っ辛くないかあるいは守護するか両方ともである」ということは成り立たない fact2: 焦げ臭い物はセットアップでないけど一儲けする fact3: 開き易いものは塩っ辛くないかあるいは守護するか両方ともである fact4: 「「入力者で混注する」ということは誤っている」ものはある fact5: もし仮にその多細胞が焦げ臭いがしかしそれが女性らしくないとしたらこのど仮は焦げ臭い fact6: セットアップは諮問しないが一儲けする fact7: もし仮にある物が諮問しないとすると入力者であるということはない fact8: 「「入力者であるしその上混注する」ということは間違っている」ものがあるとすればこの正孔は開き易い fact9: もしもこのど仮が入力者でないならこのトレースルートは開き易くない fact10: もしもなんらかの物が諮問しないとすればこのど仮は混注するかまたは入力者でないかまたは両方だ fact11: もしなにがしかの物が開き易くないとしたらそれは塩っ辛い fact12: 仮に何らかのものはセットアップだということはないがしかし一儲けすれば諮問しない fact13: もしこのど仮が混注するならこのトレースルートは開き易くない fact14: 仮に何かは入力者だということはないとしたらそれは開き易いしかつ混注する fact15: もし「その多細胞は惨くない」ということは事実なら焦げ臭いものであって更に女性らしくない ; $hypothesis$ = 「この正孔は塩っ辛くないかまたはそれは守護する」ということは偽である ; $proof$ = 
fact3 -> int1: この正孔が開き易いならそれは塩っ辛くないか守護するかあるいはどちらもだ; fact8 & fact4 -> int2: この正孔は開き易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしこのど仮は開き易いとすると「この正孔は塩っ辛くないかあるいは守護するか両方ともである」ということは成り立たない
事実2: 焦げ臭い物はセットアップでないけど一儲けする
事実3: 開き易いものは塩っ辛くないかあるいは守護するか両方ともである
事実4: 「「入力者で混注する」ということは誤っている」ものはある
事実5: もし仮にその多細胞が焦げ臭いがしかしそれが女性らしくないとしたらこのど仮は焦げ臭い
事実6: セットアップは諮問しないが一儲けする
事実7: もし仮にある物が諮問しないとすると入力者であるということはない
事実8: 「「入力者であるしその上混注する」ということは間違っている」ものがあるとすればこの正孔は開き易い
事実9: もしもこのど仮が入力者でないならこのトレースルートは開き易くない
事実10: もしもなんらかの物が諮問しないとすればこのど仮は混注するかまたは入力者でないかまたは両方だ
事実11: もしなにがしかの物が開き易くないとしたらそれは塩っ辛い
事実12: 仮に何らかのものはセットアップだということはないがしかし一儲けすれば諮問しない
事実13: もしこのど仮が混注するならこのトレースルートは開き易くない
事実14: 仮に何かは入力者だということはないとしたらそれは開き易いしかつ混注する
事実15: もし「その多細胞は惨くない」ということは事実なら焦げ臭いものであって更に女性らしくない

仮説: 「この正孔は塩っ辛くないかまたはそれは守護する」ということは偽である
1. 事実3から、推論1: "この正孔が開き易いならそれは塩っ辛くないか守護するかあるいはどちらもだ"が導かれる
2. 事実8と事実4から、推論2: "この正孔は開き易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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