「あの言語記号は交えらないが求職する」ということは誤っている
fact1: 仮にこの左右方向は授業場面でないとしたら「あの言語記号は授業場面でないがしかし交える」ということは間違いだ fact2: その陳述書が少なくないとしたらそれは姦しいかまたはそれは押し遣るということはないかもしくは両方ともである fact3: 「あの言語記号は授業場面でない一方で交える」ということは成り立たない fact4: この左右方向はちぎれ易いけど求職しない fact5: 「なんらかの物は授業場面でない」ということは成り立つなら交えらないが求職する fact6: もしあの二十日以上は姦しいとすれば「それは沈殿するしそれは壊せらない」ということは嘘である fact7: 全ては授業場面である fact8: 仮にこの左右方向は交えらないとすると「あの言語記号が交えるしその上それは求職する」ということは成り立つということはない fact9: この左右方向は授業場面である fact10: もし仮に「なにかは取り出し易くないけど密接する」ということは嘘であるとするとそれは取り出し易い fact11: その陳述書は少なくない fact12: どれもこれもは出し難いが運送屋でない fact13: すべての物は授業場面である一方で交えらない fact14: 取り出し易いものが陣没するとしたら授業場面でない fact15: あの言語記号は御説きに成らないならば「「取り出し易くないしその上密接する」ということは嘘でない」ということは偽だ fact16: この左右方向は交えるということはないならば「あの言語記号は交えらない一方で求職する」ということは正しいということはない fact17: あの言語記号は直接生産者だけど忙しなくない fact18: 「あの言語記号は御教え下さらないがそれは交える」ということは成り立たない fact19: 「この熟年世代は交えらないけどサボる」ということは嘘だ fact20: 「あの言語記号は御説きに成らない」ということは成り立つ fact21: 「あの言語記号は交えるしかつ求職する」ということは成り立たない
fact13 -> int1: この左右方向は授業場面である一方で交えるということはない; int1 -> int2: この左右方向は交えらない; int2 & fact16 -> hypothesis;
あの言語記号は交えらないけど求職する
fact28 -> int3: もしあの言語記号は授業場面でないならば交えらないけど求職する; fact29 -> int4: もしあの言語記号は取り出し易くて陣没するとしたら授業場面でない; fact25 -> int5: 仮に「あの言語記号は取り出し易くないがそれは密接する」ということは成り立たないならば取り出し易い; fact23 & fact27 -> int6: 「「あの言語記号は取り出し易くない一方でそれは密接する」ということは確かだ」ということは誤っている; int5 & int6 -> int7: あの言語記号は取り出し易い; fact26 & fact24 -> int8: その陳述書は姦しいかもしくは押し遣らないかあるいはどちらもである;
$facts$ = fact1: 仮にこの左右方向は授業場面でないとしたら「あの言語記号は授業場面でないがしかし交える」ということは間違いだ fact2: その陳述書が少なくないとしたらそれは姦しいかまたはそれは押し遣るということはないかもしくは両方ともである fact3: 「あの言語記号は授業場面でない一方で交える」ということは成り立たない fact4: この左右方向はちぎれ易いけど求職しない fact5: 「なんらかの物は授業場面でない」ということは成り立つなら交えらないが求職する fact6: もしあの二十日以上は姦しいとすれば「それは沈殿するしそれは壊せらない」ということは嘘である fact7: 全ては授業場面である fact8: 仮にこの左右方向は交えらないとすると「あの言語記号が交えるしその上それは求職する」ということは成り立つということはない fact9: この左右方向は授業場面である fact10: もし仮に「なにかは取り出し易くないけど密接する」ということは嘘であるとするとそれは取り出し易い fact11: その陳述書は少なくない fact12: どれもこれもは出し難いが運送屋でない fact13: すべての物は授業場面である一方で交えらない fact14: 取り出し易いものが陣没するとしたら授業場面でない fact15: あの言語記号は御説きに成らないならば「「取り出し易くないしその上密接する」ということは嘘でない」ということは偽だ fact16: この左右方向は交えるということはないならば「あの言語記号は交えらない一方で求職する」ということは正しいということはない fact17: あの言語記号は直接生産者だけど忙しなくない fact18: 「あの言語記号は御教え下さらないがそれは交える」ということは成り立たない fact19: 「この熟年世代は交えらないけどサボる」ということは嘘だ fact20: 「あの言語記号は御説きに成らない」ということは成り立つ fact21: 「あの言語記号は交えるしかつ求職する」ということは成り立たない ; $hypothesis$ = 「あの言語記号は交えらないが求職する」ということは誤っている ; $proof$ = 
fact13 -> int1: この左右方向は授業場面である一方で交えるということはない; int1 -> int2: この左右方向は交えらない; int2 & fact16 -> hypothesis; __PROVED__
事実1: 仮にこの左右方向は授業場面でないとしたら「あの言語記号は授業場面でないがしかし交える」ということは間違いだ
事実2: その陳述書が少なくないとしたらそれは姦しいかまたはそれは押し遣るということはないかもしくは両方ともである
事実3: 「あの言語記号は授業場面でない一方で交える」ということは成り立たない
事実4: この左右方向はちぎれ易いけど求職しない
事実5: 「なんらかの物は授業場面でない」ということは成り立つなら交えらないが求職する
事実6: もしあの二十日以上は姦しいとすれば「それは沈殿するしそれは壊せらない」ということは嘘である
事実7: 全ては授業場面である
事実8: 仮にこの左右方向は交えらないとすると「あの言語記号が交えるしその上それは求職する」ということは成り立つということはない
事実9: この左右方向は授業場面である
事実10: もし仮に「なにかは取り出し易くないけど密接する」ということは嘘であるとするとそれは取り出し易い
事実11: その陳述書は少なくない
事実12: どれもこれもは出し難いが運送屋でない
事実13: すべての物は授業場面である一方で交えらない
事実14: 取り出し易いものが陣没するとしたら授業場面でない
事実15: あの言語記号は御説きに成らないならば「「取り出し易くないしその上密接する」ということは嘘でない」ということは偽だ
事実16: この左右方向は交えるということはないならば「あの言語記号は交えらない一方で求職する」ということは正しいということはない
事実17: あの言語記号は直接生産者だけど忙しなくない
事実18: 「あの言語記号は御教え下さらないがそれは交える」ということは成り立たない
事実19: 「この熟年世代は交えらないけどサボる」ということは嘘だ
事実20: 「あの言語記号は御説きに成らない」ということは成り立つ
事実21: 「あの言語記号は交えるしかつ求職する」ということは成り立たない

仮説: 「あの言語記号は交えらないが求職する」ということは誤っている
1. 事実13から、推論1: "この左右方向は授業場面である一方で交えるということはない"が導かれる
2. 推論1から、推論2: "この左右方向は交えらない"が導かれる
3. 推論2と事実16から、仮説が導かれる

よって、仮説が証明されました。