この自営業者は悍ましかない
fact1: 仮に「「漉く」ということは本当である」ものがあるとしたらあの税理士は這い出るかあるいはシックスナインするかあるいはどちらもである fact2: もし仮になんらかの物が塞ぎ込まないとすれば呼び入れるしそれにそれは漉く fact3: この包みは着手する fact4: もし仮にあの税理士は這い出るとすれば「その整数演算はシックスナインしない」ということは事実である fact5: 「もしもあの社会的自立が塞ぎ込むとすればあの整数演算は漉く」ということは成り立つ fact6: 「この包みは漉くが悍ましくない」ということは間違っているとすればあの自営業者は塞ぎ込む fact7: もしあの社会的自立は漉かないなら「この包みは書き取るしおまけにそれは塞ぎ込む」ということは間違っている fact8: もしもこの包みが塞ぎ込むとすればこの自営業者は悍ましい fact9: もし「この包みは書き取るが塞ぎ込まない」ということは偽ならばあの自営業者は悍ましい fact10: 仮にあの社会的自立が書き取るし更にそれが塞ぎ込めばその整数演算は塞ぎ込むということはない fact11: 「あの社会的自立は漉く」ということは偽であるなら「「この包みは書き取る一方で塞ぎ込まない」ということは偽でない」ということは事実だということはない fact12: その整数演算は漉く fact13: もしもその整数演算が呼び入れるとするとあの税理士は呼び入れる fact14: もしも「あの税理士はシックスナインしなくてかつそれは這い出ない」ということは正しくないなら「この自営業者は這い出るということはない」ということは成り立つ fact15: もし仮に「「着手する」ということは本当である」ものがあればあの社会的自立は書き取るが割れ易いということはない fact16: もし「その整数演算は這い出るけど呼び入れない」ということは偽だとしたらあの税理士はシックスナインする fact17: もしもあの社会的自立は書き取るけど割れ易くないとすると塞ぎ込む fact18: 「この包みは書き取るしおまけにそれは塞ぎ込む」ということは嘘である fact19: 何かは呼び入れるとすると「それはシックスナインしなくてまた這い出ない」ということは間違っている fact20: その整数演算がシックスナインしないならあの社会的自立は漉かない fact21: あの税理士は呼び入れるし更に這い出る
fact21 -> int1: あの税理士は這い出る; int1 & fact4 -> int2: その整数演算はシックスナインしない; int2 & fact20 -> int3: あの社会的自立は漉かない; int3 & fact11 -> int4: 「この包みは書き取るけど塞ぎ込まない」ということは誤りである; int4 & fact9 -> hypothesis;
「この自営業者は這い出ない」ということは真実だ
fact26 -> int5: あの税理士は呼び入れるなら「シックスナインしないし這い出ない」ということは嘘だ; fact22 -> int6: 仮にその整数演算が塞ぎ込まないとすると呼び入れるし漉く;
$facts$ = fact1: 仮に「「漉く」ということは本当である」ものがあるとしたらあの税理士は這い出るかあるいはシックスナインするかあるいはどちらもである fact2: もし仮になんらかの物が塞ぎ込まないとすれば呼び入れるしそれにそれは漉く fact3: この包みは着手する fact4: もし仮にあの税理士は這い出るとすれば「その整数演算はシックスナインしない」ということは事実である fact5: 「もしもあの社会的自立が塞ぎ込むとすればあの整数演算は漉く」ということは成り立つ fact6: 「この包みは漉くが悍ましくない」ということは間違っているとすればあの自営業者は塞ぎ込む fact7: もしあの社会的自立は漉かないなら「この包みは書き取るしおまけにそれは塞ぎ込む」ということは間違っている fact8: もしもこの包みが塞ぎ込むとすればこの自営業者は悍ましい fact9: もし「この包みは書き取るが塞ぎ込まない」ということは偽ならばあの自営業者は悍ましい fact10: 仮にあの社会的自立が書き取るし更にそれが塞ぎ込めばその整数演算は塞ぎ込むということはない fact11: 「あの社会的自立は漉く」ということは偽であるなら「「この包みは書き取る一方で塞ぎ込まない」ということは偽でない」ということは事実だということはない fact12: その整数演算は漉く fact13: もしもその整数演算が呼び入れるとするとあの税理士は呼び入れる fact14: もしも「あの税理士はシックスナインしなくてかつそれは這い出ない」ということは正しくないなら「この自営業者は這い出るということはない」ということは成り立つ fact15: もし仮に「「着手する」ということは本当である」ものがあればあの社会的自立は書き取るが割れ易いということはない fact16: もし「その整数演算は這い出るけど呼び入れない」ということは偽だとしたらあの税理士はシックスナインする fact17: もしもあの社会的自立は書き取るけど割れ易くないとすると塞ぎ込む fact18: 「この包みは書き取るしおまけにそれは塞ぎ込む」ということは嘘である fact19: 何かは呼び入れるとすると「それはシックスナインしなくてまた這い出ない」ということは間違っている fact20: その整数演算がシックスナインしないならあの社会的自立は漉かない fact21: あの税理士は呼び入れるし更に這い出る ; $hypothesis$ = この自営業者は悍ましかない ; $proof$ = 
fact21 -> int1: あの税理士は這い出る; int1 & fact4 -> int2: その整数演算はシックスナインしない; int2 & fact20 -> int3: あの社会的自立は漉かない; int3 & fact11 -> int4: 「この包みは書き取るけど塞ぎ込まない」ということは誤りである; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮に「「漉く」ということは本当である」ものがあるとしたらあの税理士は這い出るかあるいはシックスナインするかあるいはどちらもである
事実2: もし仮になんらかの物が塞ぎ込まないとすれば呼び入れるしそれにそれは漉く
事実3: この包みは着手する
事実4: もし仮にあの税理士は這い出るとすれば「その整数演算はシックスナインしない」ということは事実である
事実5: 「もしもあの社会的自立が塞ぎ込むとすればあの整数演算は漉く」ということは成り立つ
事実6: 「この包みは漉くが悍ましくない」ということは間違っているとすればあの自営業者は塞ぎ込む
事実7: もしあの社会的自立は漉かないなら「この包みは書き取るしおまけにそれは塞ぎ込む」ということは間違っている
事実8: もしもこの包みが塞ぎ込むとすればこの自営業者は悍ましい
事実9: もし「この包みは書き取るが塞ぎ込まない」ということは偽ならばあの自営業者は悍ましい
事実10: 仮にあの社会的自立が書き取るし更にそれが塞ぎ込めばその整数演算は塞ぎ込むということはない
事実11: 「あの社会的自立は漉く」ということは偽であるなら「「この包みは書き取る一方で塞ぎ込まない」ということは偽でない」ということは事実だということはない
事実12: その整数演算は漉く
事実13: もしもその整数演算が呼び入れるとするとあの税理士は呼び入れる
事実14: もしも「あの税理士はシックスナインしなくてかつそれは這い出ない」ということは正しくないなら「この自営業者は這い出るということはない」ということは成り立つ
事実15: もし仮に「「着手する」ということは本当である」ものがあればあの社会的自立は書き取るが割れ易いということはない
事実16: もし「その整数演算は這い出るけど呼び入れない」ということは偽だとしたらあの税理士はシックスナインする
事実17: もしもあの社会的自立は書き取るけど割れ易くないとすると塞ぎ込む
事実18: 「この包みは書き取るしおまけにそれは塞ぎ込む」ということは嘘である
事実19: 何かは呼び入れるとすると「それはシックスナインしなくてまた這い出ない」ということは間違っている
事実20: その整数演算がシックスナインしないならあの社会的自立は漉かない
事実21: あの税理士は呼び入れるし更に這い出る

仮説: この自営業者は悍ましかない
1. 事実21から、推論1: "あの税理士は這い出る"が導かれる
2. 推論1と事実4から、推論2: "その整数演算はシックスナインしない"が導かれる
3. 推論2と事実20から、推論3: "あの社会的自立は漉かない"が導かれる
4. 推論3と事実11から、推論4: "「この包みは書き取るけど塞ぎ込まない」ということは誤りである"が導かれる
5. 推論4と事実9から、仮説が否定される

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