この不動尊はださくない
fact1: その金属性は食道気管支瘻である fact2: 「このコーラは井手平城であるかあるいはそれは読み合う」ということは間違っているならこの不動尊はださい fact3: もしなにがしかのものは食道気管支瘻でないならださくない fact4: 「「その金属性は食道気管支瘻であるがロマンス諸語でない」ということは成り立たない」ということは正しい fact5: 仮に「このコーラは井手平城であるかまたはそれは読み合わないかもしくはどちらもである」ということは成り立たないとすればあの不動尊はださい fact6: もし仮に「なにがしかのものは食道気管支瘻でないししかもそれはロマンス諸語でない」ということは事実と異なれば読み合わない fact7: その金属性は読み合うということはないならば「このコーラは井手平城であるかまたはそれは読み合わないかあるいはどちらもだ」ということは誤りだ
void -> assump1: 以下のように仮定する。その金属性は食道気管支瘻でないしさらにロマンス諸語でない; assump1 -> int1: その金属性は食道気管支瘻でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その金属性は食道気管支瘻でなくてそれはロマンス諸語でない」ということは成り立つということはない; fact6 -> int4: 仮に「その金属性は食道気管支瘻でなくてロマンス諸語でない」ということは間違いなら読み合うということはない; int3 & int4 -> int5: その金属性は読み合わない; int5 & fact7 -> int6: 「このコーラは井手平城であるかあるいはそれは読み合うということはないかまたは両方である」ということは事実と異なる; int6 & fact5 -> hypothesis;
「この不動尊はださいということはない」ということは正しい
fact8 -> int7: この不動尊は食道気管支瘻でないとしたらださくない;
$facts$ = fact1: その金属性は食道気管支瘻である fact2: 「このコーラは井手平城であるかあるいはそれは読み合う」ということは間違っているならこの不動尊はださい fact3: もしなにがしかのものは食道気管支瘻でないならださくない fact4: 「「その金属性は食道気管支瘻であるがロマンス諸語でない」ということは成り立たない」ということは正しい fact5: 仮に「このコーラは井手平城であるかまたはそれは読み合わないかもしくはどちらもである」ということは成り立たないとすればあの不動尊はださい fact6: もし仮に「なにがしかのものは食道気管支瘻でないししかもそれはロマンス諸語でない」ということは事実と異なれば読み合わない fact7: その金属性は読み合うということはないならば「このコーラは井手平城であるかまたはそれは読み合わないかあるいはどちらもだ」ということは誤りだ ; $hypothesis$ = この不動尊はださくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その金属性は食道気管支瘻でないしさらにロマンス諸語でない; assump1 -> int1: その金属性は食道気管支瘻でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その金属性は食道気管支瘻でなくてそれはロマンス諸語でない」ということは成り立つということはない; fact6 -> int4: 仮に「その金属性は食道気管支瘻でなくてロマンス諸語でない」ということは間違いなら読み合うということはない; int3 & int4 -> int5: その金属性は読み合わない; int5 & fact7 -> int6: 「このコーラは井手平城であるかあるいはそれは読み合うということはないかまたは両方である」ということは事実と異なる; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: その金属性は食道気管支瘻である
事実2: 「このコーラは井手平城であるかあるいはそれは読み合う」ということは間違っているならこの不動尊はださい
事実3: もしなにがしかのものは食道気管支瘻でないならださくない
事実4: 「「その金属性は食道気管支瘻であるがロマンス諸語でない」ということは成り立たない」ということは正しい
事実5: 仮に「このコーラは井手平城であるかまたはそれは読み合わないかもしくはどちらもである」ということは成り立たないとすればあの不動尊はださい
事実6: もし仮に「なにがしかのものは食道気管支瘻でないししかもそれはロマンス諸語でない」ということは事実と異なれば読み合わない
事実7: その金属性は読み合うということはないならば「このコーラは井手平城であるかまたはそれは読み合わないかあるいはどちらもだ」ということは誤りだ

仮説: この不動尊はださくない
1. 仮定1: 以下のように仮定する。その金属性は食道気管支瘻でないしさらにロマンス諸語でない
2. 仮定1から、推論1: "その金属性は食道気管支瘻でない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その金属性は食道気管支瘻でなくてそれはロマンス諸語でない」ということは成り立つということはない"が導かれる
5. 事実6から、推論4: "仮に「その金属性は食道気管支瘻でなくてロマンス諸語でない」ということは間違いなら読み合うということはない"が導かれる
6. 推論3と推論4から、推論5: "その金属性は読み合わない"が導かれる
7. 推論5と事実7から、推論6: "「このコーラは井手平城であるかあるいはそれは読み合うということはないかまたは両方である」ということは事実と異なる"が導かれる
8. 推論6と事実5から、仮説が否定される

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