その嚥下困難は動作する
fact1: もしもその嚥下困難は動作するとすれば「この丸石は潔しけれど窒化物半導体でない」ということは成り立たない fact2: もしもこの丸石が動作すればそれはださいけれど潔しない fact3: もしとあるものが片付けないとするとそれはださいしおまけに欠点だ fact4: この丸石は潔し fact5: その嚥下困難は移乗だけれど掛かり易いということはない fact6: もしこの丸石がださいとするとそれは潔しが窒化物半導体でない fact7: この長持ちは動作するということはない fact8: もしもこの丸石がださいとするとそれは潔し fact9: もし仮にこの丸石が動作するとすればださいし加えて窒化物半導体でない fact10: この丸石はださい fact11: その掘り火燵が奉斎するとするとそれは批評性だけれど互生しない
void -> assump1: 以下のように仮定する。その嚥下困難は動作する; fact1 & assump1 -> int1: 「この丸石は潔しが窒化物半導体でない」ということは成り立つということはない; fact6 & fact10 -> int2: この丸石は潔しけれどそれは窒化物半導体でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ¬({AA}{b} & ¬{AB}{b}); fact6 & fact10 -> int2: ({AA}{b} & ¬{AB}{b}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その嚥下困難は動作する
fact12 -> int4: もしもその掘り火燵が片付けないならばそれがださいしその上それは欠点だ;
$facts$ = fact1: もしもその嚥下困難は動作するとすれば「この丸石は潔しけれど窒化物半導体でない」ということは成り立たない fact2: もしもこの丸石が動作すればそれはださいけれど潔しない fact3: もしとあるものが片付けないとするとそれはださいしおまけに欠点だ fact4: この丸石は潔し fact5: その嚥下困難は移乗だけれど掛かり易いということはない fact6: もしこの丸石がださいとするとそれは潔しが窒化物半導体でない fact7: この長持ちは動作するということはない fact8: もしもこの丸石がださいとするとそれは潔し fact9: もし仮にこの丸石が動作するとすればださいし加えて窒化物半導体でない fact10: この丸石はださい fact11: その掘り火燵が奉斎するとするとそれは批評性だけれど互生しない ; $hypothesis$ = その嚥下困難は動作する ; $proof$ = 
void -> assump1: 以下のように仮定する。その嚥下困難は動作する; fact1 & assump1 -> int1: 「この丸石は潔しが窒化物半導体でない」ということは成り立つということはない; fact6 & fact10 -> int2: この丸石は潔しけれどそれは窒化物半導体でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもその嚥下困難は動作するとすれば「この丸石は潔しけれど窒化物半導体でない」ということは成り立たない
事実2: もしもこの丸石が動作すればそれはださいけれど潔しない
事実3: もしとあるものが片付けないとするとそれはださいしおまけに欠点だ
事実4: この丸石は潔し
事実5: その嚥下困難は移乗だけれど掛かり易いということはない
事実6: もしこの丸石がださいとするとそれは潔しが窒化物半導体でない
事実7: この長持ちは動作するということはない
事実8: もしもこの丸石がださいとするとそれは潔し
事実9: もし仮にこの丸石が動作するとすればださいし加えて窒化物半導体でない
事実10: この丸石はださい
事実11: その掘り火燵が奉斎するとするとそれは批評性だけれど互生しない

仮説: その嚥下困難は動作する
1. 仮定1: 以下のように仮定する。その嚥下困難は動作する
2. 事実1と仮定1から、推論1: "「この丸石は潔しが窒化物半導体でない」ということは成り立つということはない"が導かれる
3. 事実6と事実10から、推論2: "この丸石は潔しけれどそれは窒化物半導体でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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