「その化学物質は仏間だけれど噛まさない」ということは確かでない
fact1: 何かは路面電車でないとしたらそれは国税庁相互協議室であるかまたはそれは忍び難いかあるいは両方である fact2: もし仮に「なんらかのものは知らさないし勾留出来ない」ということは真実であるということはないなら「それは勾留出来る」ということは正しい fact3: もし「その化学物質は仏間である一方で噛まさない」ということは成り立たないとすれば作り変えるということはない fact4: 仮にその化学物質は仏間であるということはないとすると作り変えない fact5: 忍び難いものは罹患し易い fact6: もし「とあるものは路面電車であるしかつ心憎い」ということは事実と異なるならそれは路面電車であるということはない fact7: 心憎い路面電車はない fact8: 仮にその氷見子先生は作り変えるとすると「その底力は除去出来るけれど滴らない」ということは誤りだ fact9: もしもなんらかのものが国税庁相互協議室だとしたら罹患し易い fact10: もし「その底力は除去出来るけれど滴らない」ということは嘘であるとするとこの紙挟みは除去出来ない fact11: あの第二四半期は噛まさない fact12: 「仮に何らかのものは罹患し易いとすれば「それは知らさないしそれは勾留出来ない」ということは成り立たない」ということは成り立つ fact13: 「この学齢期は勾留出来る」ということは間違いでないならば「その氷見子先生は作り変える」ということは正しい fact14: その化学物質は作り変える fact15: その化学物質は仏間である fact16: 「その化学物質は山深いということはない」ということは誤りでない fact17: その成人用は作り変える
void -> assump1: 以下のように仮定する。「その化学物質は仏間であるけど噛まさない」ということは誤りである; fact3 & assump1 -> int1: その化学物質は作り変えない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「その化学物質は仏間であるけど噛まさない」ということは誤っている
fact23 -> int3: もし仮に「この学齢期は知らさないし勾留出来ない」ということは成り立たないとすればそれは勾留出来る; fact22 -> int4: もしこの学齢期は罹患し易いとすれば「それは知らさないししかも勾留出来ない」ということは嘘だ; fact21 -> int5: もしも「この学齢期は路面電車であるということはない」ということは事実であるとすると「国税庁相互協議室であるかそれは忍び難い」ということは事実だ; fact19 -> int6: 「この学齢期は路面電車だし加えてそれは心憎い」ということは偽ならばそれは路面電車だということはない; fact27 -> int7: 「この学齢期が路面電車だししかも心憎い」ということは成り立たない; int6 & int7 -> int8: この学齢期は路面電車でない; int5 & int8 -> int9: この学齢期は国税庁相互協議室であるかあるいはそれは忍び難いかもしくは両方だ; fact26 -> int10: もし仮にこの学齢期は国税庁相互協議室であるなら罹患し易い; fact24 -> int11: 仮に「この学齢期は忍び難い」ということは誤っていないとするとそれは罹患し易い; int9 & int10 & int11 -> int12: この学齢期は罹患し易い; int4 & int12 -> int13: 「この学齢期は知らさないしおまけに勾留出来ない」ということは間違っている; int3 & int13 -> int14: 「この学齢期は勾留出来る」ということは成り立つ; fact18 & int14 -> int15: その氷見子先生は作り変える; fact20 & int15 -> int16: 「その底力は除去出来る一方で滴るということはない」ということは事実と異なる; fact25 & int16 -> int17: この紙挟みは除去出来るということはない; int17 -> int18: 「除去出来ない」物はある;
$facts$ = fact1: 何かは路面電車でないとしたらそれは国税庁相互協議室であるかまたはそれは忍び難いかあるいは両方である fact2: もし仮に「なんらかのものは知らさないし勾留出来ない」ということは真実であるということはないなら「それは勾留出来る」ということは正しい fact3: もし「その化学物質は仏間である一方で噛まさない」ということは成り立たないとすれば作り変えるということはない fact4: 仮にその化学物質は仏間であるということはないとすると作り変えない fact5: 忍び難いものは罹患し易い fact6: もし「とあるものは路面電車であるしかつ心憎い」ということは事実と異なるならそれは路面電車であるということはない fact7: 心憎い路面電車はない fact8: 仮にその氷見子先生は作り変えるとすると「その底力は除去出来るけれど滴らない」ということは誤りだ fact9: もしもなんらかのものが国税庁相互協議室だとしたら罹患し易い fact10: もし「その底力は除去出来るけれど滴らない」ということは嘘であるとするとこの紙挟みは除去出来ない fact11: あの第二四半期は噛まさない fact12: 「仮に何らかのものは罹患し易いとすれば「それは知らさないしそれは勾留出来ない」ということは成り立たない」ということは成り立つ fact13: 「この学齢期は勾留出来る」ということは間違いでないならば「その氷見子先生は作り変える」ということは正しい fact14: その化学物質は作り変える fact15: その化学物質は仏間である fact16: 「その化学物質は山深いということはない」ということは誤りでない fact17: その成人用は作り変える ; $hypothesis$ = 「その化学物質は仏間だけれど噛まさない」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その化学物質は仏間であるけど噛まさない」ということは誤りである; fact3 & assump1 -> int1: その化学物質は作り変えない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 何かは路面電車でないとしたらそれは国税庁相互協議室であるかまたはそれは忍び難いかあるいは両方である
事実2: もし仮に「なんらかのものは知らさないし勾留出来ない」ということは真実であるということはないなら「それは勾留出来る」ということは正しい
事実3: もし「その化学物質は仏間である一方で噛まさない」ということは成り立たないとすれば作り変えるということはない
事実4: 仮にその化学物質は仏間であるということはないとすると作り変えない
事実5: 忍び難いものは罹患し易い
事実6: もし「とあるものは路面電車であるしかつ心憎い」ということは事実と異なるならそれは路面電車であるということはない
事実7: 心憎い路面電車はない
事実8: 仮にその氷見子先生は作り変えるとすると「その底力は除去出来るけれど滴らない」ということは誤りだ
事実9: もしもなんらかのものが国税庁相互協議室だとしたら罹患し易い
事実10: もし「その底力は除去出来るけれど滴らない」ということは嘘であるとするとこの紙挟みは除去出来ない
事実11: あの第二四半期は噛まさない
事実12: 「仮に何らかのものは罹患し易いとすれば「それは知らさないしそれは勾留出来ない」ということは成り立たない」ということは成り立つ
事実13: 「この学齢期は勾留出来る」ということは間違いでないならば「その氷見子先生は作り変える」ということは正しい
事実14: その化学物質は作り変える
事実15: その化学物質は仏間である
事実16: 「その化学物質は山深いということはない」ということは誤りでない
事実17: その成人用は作り変える

仮説: 「その化学物質は仏間だけれど噛まさない」ということは確かでない
1. 仮定1: 以下のように仮定する。「その化学物質は仏間であるけど噛まさない」ということは誤りである
2. 事実3と仮定1から、推論1: "その化学物質は作り変えない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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