「このイタリア語は深呼吸するし着手す」ということは間違いだ
fact1: もしこのイタリア語は気管内挿管である一方で激しくないとすると着手す fact2: このイタリア語は気管内挿管であるし激しいとするとそれは着手す fact3: 「深呼吸する一方で激しいということはない」ものがあるならばあのイタリア語は気管内挿管だ fact4: 「壊れ掛けるがしかし非正規雇用者であるということはない」物はある fact5: もしもなにがしかのものが壊れ掛けるが非正規雇用者であるということはないならば「このイタリア語は深呼吸する」ということは誤りでない fact6: あの段ボール・ホームは気管内挿管でない fact7: もし仮にあの段ボール・ホームが気管内挿管でないとすれば激しくないけど非正規雇用者である fact8: このイタリア語は気管内挿管だ一方でそれは激しくない
fact4 & fact5 -> int1: このイタリア語は深呼吸する; fact8 & fact1 -> int2: このイタリア語は着手す; int1 & int2 -> hypothesis;
「このイタリア語は深呼吸するしかつそれは着手す」ということは偽である
fact10 & fact9 -> int3: あの段ボール・ホームは激しくないが非正規雇用者だ; int3 -> int4: 「激しいということはないけれど非正規雇用者である」物はある;
$facts$ = fact1: もしこのイタリア語は気管内挿管である一方で激しくないとすると着手す fact2: このイタリア語は気管内挿管であるし激しいとするとそれは着手す fact3: 「深呼吸する一方で激しいということはない」ものがあるならばあのイタリア語は気管内挿管だ fact4: 「壊れ掛けるがしかし非正規雇用者であるということはない」物はある fact5: もしもなにがしかのものが壊れ掛けるが非正規雇用者であるということはないならば「このイタリア語は深呼吸する」ということは誤りでない fact6: あの段ボール・ホームは気管内挿管でない fact7: もし仮にあの段ボール・ホームが気管内挿管でないとすれば激しくないけど非正規雇用者である fact8: このイタリア語は気管内挿管だ一方でそれは激しくない ; $hypothesis$ = 「このイタリア語は深呼吸するし着手す」ということは間違いだ ; $proof$ = 
fact4 & fact5 -> int1: このイタリア語は深呼吸する; fact8 & fact1 -> int2: このイタリア語は着手す; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしこのイタリア語は気管内挿管である一方で激しくないとすると着手す
事実2: このイタリア語は気管内挿管であるし激しいとするとそれは着手す
事実3: 「深呼吸する一方で激しいということはない」ものがあるならばあのイタリア語は気管内挿管だ
事実4: 「壊れ掛けるがしかし非正規雇用者であるということはない」物はある
事実5: もしもなにがしかのものが壊れ掛けるが非正規雇用者であるということはないならば「このイタリア語は深呼吸する」ということは誤りでない
事実6: あの段ボール・ホームは気管内挿管でない
事実7: もし仮にあの段ボール・ホームが気管内挿管でないとすれば激しくないけど非正規雇用者である
事実8: このイタリア語は気管内挿管だ一方でそれは激しくない

仮説: 「このイタリア語は深呼吸するし着手す」ということは間違いだ
1. 事実4と事実5から、推論1: "このイタリア語は深呼吸する"が導かれる
2. 事実8と事実1から、推論2: "このイタリア語は着手す"が導かれる
3. 推論1と推論2から、仮説が否定される

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