「この測候所は読み落とすし更に染色体外だ」ということは誤りである
fact1: もしも「この測候所は来難くないし加えて信心深くない」ということは成り立たないとしたらその鉄則は読み落とすということはない fact2: どれもこれもは浮かび上がらない fact3: もし「「注しない」ということは成り立つ」物はあれば「この測候所は愛しくて更に注する」ということは誤りだ fact4: もしその厄神が農地法でないけれどそれが弱過ぎるとしたらこのアドレス解決は注しない fact5: もしも「その鉄則は参加し易くない」ということは成り立たないならこの測候所は読み落とす fact6: この測候所は染色体外であるし来難い fact7: 「なにがしかの物は愛しくてさらに注する」ということは間違いであるとすると愛しくない fact8: この測候所は来難い fact9: なにかは浮かび上がらないならそれは農地法でないしおまけにそれは弱過ぎる fact10: なにかは愛しくないならば「それは来難くないしそれに信心深くない」ということは偽だ fact11: その鉄則は参加し易い
fact5 & fact11 -> int1: 「この測候所は読み落とす」ということは確かである; fact6 -> int2: この測候所は染色体外だ; int1 & int2 -> hypothesis;
この中華麺は染色体外である
fact17 -> int3: もし仮にあのルーバー式が浮かび上がらないならそれは農地法でないしそれは弱過ぎる; fact16 -> int4: あのルーバー式は浮かび上がるということはない; int3 & int4 -> int5: あのルーバー式は農地法だということはないがしかし弱過ぎる; int5 -> int6: 全てのものは農地法でないし弱過ぎる; int6 -> int7: その厄神は農地法でないけれどそれは弱過ぎる; int7 & fact14 -> int8: このアドレス解決は注しない; int8 -> int9: 「注しない」ものはある; fact13 & int9 -> int10: 「この測候所は愛しいし加えて注する」ということは成り立たない; fact15 -> int11: もし「この測候所は愛しいししかも注する」ということは成り立たないとしたら「それは愛しくない」ということは事実だ; int10 & int11 -> int12: この測候所は愛しくない; fact12 -> int13: もしもこの測候所は愛しくないとすれば「それは来難くないし信心深いということはない」ということは嘘だ; int12 & int13 -> int14: 「「この測候所は来難くないし信心深くない」ということは嘘でない」ということは確かでない; int14 & fact18 -> int15: その鉄則は読み落とさない;
$facts$ = fact1: もしも「この測候所は来難くないし加えて信心深くない」ということは成り立たないとしたらその鉄則は読み落とすということはない fact2: どれもこれもは浮かび上がらない fact3: もし「「注しない」ということは成り立つ」物はあれば「この測候所は愛しくて更に注する」ということは誤りだ fact4: もしその厄神が農地法でないけれどそれが弱過ぎるとしたらこのアドレス解決は注しない fact5: もしも「その鉄則は参加し易くない」ということは成り立たないならこの測候所は読み落とす fact6: この測候所は染色体外であるし来難い fact7: 「なにがしかの物は愛しくてさらに注する」ということは間違いであるとすると愛しくない fact8: この測候所は来難い fact9: なにかは浮かび上がらないならそれは農地法でないしおまけにそれは弱過ぎる fact10: なにかは愛しくないならば「それは来難くないしそれに信心深くない」ということは偽だ fact11: その鉄則は参加し易い ; $hypothesis$ = 「この測候所は読み落とすし更に染色体外だ」ということは誤りである ; $proof$ = 
fact5 & fact11 -> int1: 「この測候所は読み落とす」ということは確かである; fact6 -> int2: この測候所は染色体外だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「この測候所は来難くないし加えて信心深くない」ということは成り立たないとしたらその鉄則は読み落とすということはない
事実2: どれもこれもは浮かび上がらない
事実3: もし「「注しない」ということは成り立つ」物はあれば「この測候所は愛しくて更に注する」ということは誤りだ
事実4: もしその厄神が農地法でないけれどそれが弱過ぎるとしたらこのアドレス解決は注しない
事実5: もしも「その鉄則は参加し易くない」ということは成り立たないならこの測候所は読み落とす
事実6: この測候所は染色体外であるし来難い
事実7: 「なにがしかの物は愛しくてさらに注する」ということは間違いであるとすると愛しくない
事実8: この測候所は来難い
事実9: なにかは浮かび上がらないならそれは農地法でないしおまけにそれは弱過ぎる
事実10: なにかは愛しくないならば「それは来難くないしそれに信心深くない」ということは偽だ
事実11: その鉄則は参加し易い

仮説: 「この測候所は読み落とすし更に染色体外だ」ということは誤りである
1. 事実5と事実11から、推論1: "「この測候所は読み落とす」ということは確かである"が導かれる
2. 事実6から、推論2: "この測候所は染色体外だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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