あのホスト間は見境無い
fact1: あの地方自治行政は見立てる fact2: 「そのエアブラシは苦悶するし更に適応する」ということは間違いだ fact3: この世帯人数は土着する fact4: 何かは見立てないならばそれは適応するししかも土着する fact5: そのエアブラシは目鼻館でないとすると生え易くて更にビニール紐だ fact6: もしもその同前がビニール紐でないとするとこの世帯人数は土着するがしかしそれはビニール紐でない fact7: それは金融商品販売業者だがビニール紐でないという物はない fact8: もしそのエアブラシが言い始めないし金融商品販売業者でないとしたらあのホスト間は適応しない fact9: もし仮に腹立たしくらないものは法律以外でないならまあるかない fact10: 仮に「そのエアブラシは言い始めないし金融商品販売業者でない」ということは事実と異なるならその同前はビニール紐でない fact11: その同前は移築するし聞こえ難いとしたら二重瞼でない fact12: もし仮にある物は千円札でないかあるいは局地でないかまたは両方ともであるとしたら言い始める fact13: もし何かは大学教官であるかもしくは選出するかまたは両方ともであるとしたらそのエアブラシは目鼻館でない fact14: その同前は移築するしまた聞こえ難い fact15: もし仮になにがしかのものは二重瞼であるということはないとしたらそれは腹立たしくらなくて法律以外でない fact16: もしそのエアブラシがビニール紐だし加えて適応するならあのホスト間は見境無くない fact17: 仮にあのホスト間が適応しないかまたは見立てないかもしくは両方ともであるとしたら「それは見境無くない」ということは誤りである fact18: 「その同前はビニール紐でないしそれは見立てない」ということは間違いである fact19: この世帯人数は大学教官であるかまたはそれは選出する fact20: 「「この世帯人数がビニール紐だしそれは見立てる」ということは本当だ」ということは真実でない fact21: それは土着するけれどビニール紐であるということはないという物はない
void -> assump1: 以下のように仮定する。「「そのエアブラシは言い始めるということはなくて金融商品販売業者だということはない」ということは誤っている」ということは正しい; fact10 & assump1 -> int1: その同前はビニール紐でない; int1 & fact6 -> int2: この世帯人数は土着するがしかしビニール紐であるということはない; fact21 -> int3: 「この世帯人数は土着するけどそれはビニール紐でない」ということは事実と異なる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのエアブラシは言い始めないしおまけに金融商品販売業者でない; int5 & fact8 -> int6: あのホスト間は適応しない; int6 -> int7: あのホスト間は適応するということはないかまたは見立てないかあるいは両方だ; int7 & fact17 -> hypothesis;
あのホスト間は見境無くない
fact27 -> int8: 「大学教官であるかまたは選出するかまたはどちらもである」ものはある; int8 & fact23 -> int9: そのエアブラシは目鼻館でない; fact22 & int9 -> int10: そのエアブラシは生え易いしおまけにビニール紐だ; int10 -> int11: そのエアブラシはビニール紐だ; fact28 -> int12: そのエアブラシが見立てないならばそれは適応するし加えてそれは土着する; fact29 -> int13: もしその同前が腹立たしくらないし法律以外でないとするとまあるかない; fact25 -> int14: もしその同前が二重瞼でないとすれば腹立たしくらなくてかつ法律以外でない; fact30 & fact26 -> int15: その同前は二重瞼だということはない; int14 & int15 -> int16: その同前は腹立たしくらないししかも法律以外でない; int13 & int16 -> int17: 「「「その同前はまあるい」ということは事実である」ということは嘘である」ということは確かである; int17 -> int18: 「まあるかない」ものはある;
$facts$ = fact1: あの地方自治行政は見立てる fact2: 「そのエアブラシは苦悶するし更に適応する」ということは間違いだ fact3: この世帯人数は土着する fact4: 何かは見立てないならばそれは適応するししかも土着する fact5: そのエアブラシは目鼻館でないとすると生え易くて更にビニール紐だ fact6: もしもその同前がビニール紐でないとするとこの世帯人数は土着するがしかしそれはビニール紐でない fact7: それは金融商品販売業者だがビニール紐でないという物はない fact8: もしそのエアブラシが言い始めないし金融商品販売業者でないとしたらあのホスト間は適応しない fact9: もし仮に腹立たしくらないものは法律以外でないならまあるかない fact10: 仮に「そのエアブラシは言い始めないし金融商品販売業者でない」ということは事実と異なるならその同前はビニール紐でない fact11: その同前は移築するし聞こえ難いとしたら二重瞼でない fact12: もし仮にある物は千円札でないかあるいは局地でないかまたは両方ともであるとしたら言い始める fact13: もし何かは大学教官であるかもしくは選出するかまたは両方ともであるとしたらそのエアブラシは目鼻館でない fact14: その同前は移築するしまた聞こえ難い fact15: もし仮になにがしかのものは二重瞼であるということはないとしたらそれは腹立たしくらなくて法律以外でない fact16: もしそのエアブラシがビニール紐だし加えて適応するならあのホスト間は見境無くない fact17: 仮にあのホスト間が適応しないかまたは見立てないかもしくは両方ともであるとしたら「それは見境無くない」ということは誤りである fact18: 「その同前はビニール紐でないしそれは見立てない」ということは間違いである fact19: この世帯人数は大学教官であるかまたはそれは選出する fact20: 「「この世帯人数がビニール紐だしそれは見立てる」ということは本当だ」ということは真実でない fact21: それは土着するけれどビニール紐であるということはないという物はない ; $hypothesis$ = あのホスト間は見境無い ; $proof$ = 
void -> assump1: 以下のように仮定する。「「そのエアブラシは言い始めるということはなくて金融商品販売業者だということはない」ということは誤っている」ということは正しい; fact10 & assump1 -> int1: その同前はビニール紐でない; int1 & fact6 -> int2: この世帯人数は土着するがしかしビニール紐であるということはない; fact21 -> int3: 「この世帯人数は土着するけどそれはビニール紐でない」ということは事実と異なる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのエアブラシは言い始めないしおまけに金融商品販売業者でない; int5 & fact8 -> int6: あのホスト間は適応しない; int6 -> int7: あのホスト間は適応するということはないかまたは見立てないかあるいは両方だ; int7 & fact17 -> hypothesis; __PROVED__
事実1: あの地方自治行政は見立てる
事実2: 「そのエアブラシは苦悶するし更に適応する」ということは間違いだ
事実3: この世帯人数は土着する
事実4: 何かは見立てないならばそれは適応するししかも土着する
事実5: そのエアブラシは目鼻館でないとすると生え易くて更にビニール紐だ
事実6: もしもその同前がビニール紐でないとするとこの世帯人数は土着するがしかしそれはビニール紐でない
事実7: それは金融商品販売業者だがビニール紐でないという物はない
事実8: もしそのエアブラシが言い始めないし金融商品販売業者でないとしたらあのホスト間は適応しない
事実9: もし仮に腹立たしくらないものは法律以外でないならまあるかない
事実10: 仮に「そのエアブラシは言い始めないし金融商品販売業者でない」ということは事実と異なるならその同前はビニール紐でない
事実11: その同前は移築するし聞こえ難いとしたら二重瞼でない
事実12: もし仮にある物は千円札でないかあるいは局地でないかまたは両方ともであるとしたら言い始める
事実13: もし何かは大学教官であるかもしくは選出するかまたは両方ともであるとしたらそのエアブラシは目鼻館でない
事実14: その同前は移築するしまた聞こえ難い
事実15: もし仮になにがしかのものは二重瞼であるということはないとしたらそれは腹立たしくらなくて法律以外でない
事実16: もしそのエアブラシがビニール紐だし加えて適応するならあのホスト間は見境無くない
事実17: 仮にあのホスト間が適応しないかまたは見立てないかもしくは両方ともであるとしたら「それは見境無くない」ということは誤りである
事実18: 「その同前はビニール紐でないしそれは見立てない」ということは間違いである
事実19: この世帯人数は大学教官であるかまたはそれは選出する
事実20: 「「この世帯人数がビニール紐だしそれは見立てる」ということは本当だ」ということは真実でない
事実21: それは土着するけれどビニール紐であるということはないという物はない

仮説: あのホスト間は見境無い
1. 仮定1: 以下のように仮定する。「「そのエアブラシは言い始めるということはなくて金融商品販売業者だということはない」ということは誤っている」ということは正しい
2. 事実10と仮定1から、推論1: "その同前はビニール紐でない"が導かれる
3. 推論1と事実6から、推論2: "この世帯人数は土着するがしかしビニール紐であるということはない"が導かれる
4. 事実21から、推論3: "「この世帯人数は土着するけどそれはビニール紐でない」ということは事実と異なる"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのエアブラシは言い始めないしおまけに金融商品販売業者でない"が導かれる
7. 推論5と事実8から、推論6: "あのホスト間は適応しない"が導かれる
8. 推論6から、推論7: "あのホスト間は適応するということはないかまたは見立てないかあるいは両方だ"が導かれる
9. 推論7と事実17から、仮説が導かれる

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