この郊外住宅地は長軸像である
fact1: もし仮になんらかのものが酸っぱいとするとそれは空輸する fact2: その在宅訪問リハビリテーション指導管理料は長軸像である fact3: その経済的責任は長軸像である fact4: 「緊急課題な」ものはある fact5: この郊外住宅地は工事現場だ fact6: 仮になにがしかの物は酸っぱくないしおまけに男女職員でないならば空輸する fact7: この郊外住宅地は陣取る fact8: その門戸開放が便秘薬でなくてしかも孵化しないならばこの郊外住宅地は便秘薬である fact9: もし仮になんらかのものは便秘薬であるなら「それは八十センチメートル以上でないが利用し易い」ということは成り立たない fact10: 「その威嚇射撃は長軸像である」ということは真実だ fact11: 仮にある物は野面でなくて更に男女職員でないとすると「酸っぱい」ということは嘘でない fact12: 「あるものは空輸する」ということは成り立つとすれば長軸像でなくてしかもインパルスである fact13: もしも「なんらかのものは野面だし緊急課題だ」ということは成り立つということはないなら野面でない fact14: この郊外住宅地は利用し易くないなら「野面であるしさらに緊急課題である」ということは偽である fact15: 仮に何らかのものは野面でないとすると酸っぱいということはないしその上男女職員でない fact16: もし仮に「この郊外住宅地は八十センチメートル以上でないけれど利用し易い」ということは誤りだとしたらそれは利用し易くない fact17: この郊外住宅地は長軸像である
fact17 -> hypothesis;
fact17 -> hypothesis;
この郊外住宅地は長軸像でない
fact19 -> int1: もし仮にこの郊外住宅地が空輸すれば長軸像でないしさらにそれはインパルスである; fact25 -> int2: もしこの郊外住宅地は酸っぱいということはなくて加えて男女職員だということはないとするとそれは空輸する; fact24 -> int3: もしこの郊外住宅地は野面でないならそれは酸っぱくないし加えて男女職員でない; fact18 -> int4: もし仮に「この郊外住宅地は野面でその上緊急課題である」ということは成り立たないならばそれは野面でない; fact20 -> int5: もしもこの郊外住宅地は便秘薬であるとすると「「八十センチメートル以上でなくてしかもそれは利用し易い」ということは成り立つ」ということは成り立つということはない;
$facts$ = fact1: もし仮になんらかのものが酸っぱいとするとそれは空輸する fact2: その在宅訪問リハビリテーション指導管理料は長軸像である fact3: その経済的責任は長軸像である fact4: 「緊急課題な」ものはある fact5: この郊外住宅地は工事現場だ fact6: 仮になにがしかの物は酸っぱくないしおまけに男女職員でないならば空輸する fact7: この郊外住宅地は陣取る fact8: その門戸開放が便秘薬でなくてしかも孵化しないならばこの郊外住宅地は便秘薬である fact9: もし仮になんらかのものは便秘薬であるなら「それは八十センチメートル以上でないが利用し易い」ということは成り立たない fact10: 「その威嚇射撃は長軸像である」ということは真実だ fact11: 仮にある物は野面でなくて更に男女職員でないとすると「酸っぱい」ということは嘘でない fact12: 「あるものは空輸する」ということは成り立つとすれば長軸像でなくてしかもインパルスである fact13: もしも「なんらかのものは野面だし緊急課題だ」ということは成り立つということはないなら野面でない fact14: この郊外住宅地は利用し易くないなら「野面であるしさらに緊急課題である」ということは偽である fact15: 仮に何らかのものは野面でないとすると酸っぱいということはないしその上男女職員でない fact16: もし仮に「この郊外住宅地は八十センチメートル以上でないけれど利用し易い」ということは誤りだとしたらそれは利用し易くない fact17: この郊外住宅地は長軸像である ; $hypothesis$ = この郊外住宅地は長軸像である ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものが酸っぱいとするとそれは空輸する
事実2: その在宅訪問リハビリテーション指導管理料は長軸像である
事実3: その経済的責任は長軸像である
事実4: 「緊急課題な」ものはある
事実5: この郊外住宅地は工事現場だ
事実6: 仮になにがしかの物は酸っぱくないしおまけに男女職員でないならば空輸する
事実7: この郊外住宅地は陣取る
事実8: その門戸開放が便秘薬でなくてしかも孵化しないならばこの郊外住宅地は便秘薬である
事実9: もし仮になんらかのものは便秘薬であるなら「それは八十センチメートル以上でないが利用し易い」ということは成り立たない
事実10: 「その威嚇射撃は長軸像である」ということは真実だ
事実11: 仮にある物は野面でなくて更に男女職員でないとすると「酸っぱい」ということは嘘でない
事実12: 「あるものは空輸する」ということは成り立つとすれば長軸像でなくてしかもインパルスである
事実13: もしも「なんらかのものは野面だし緊急課題だ」ということは成り立つということはないなら野面でない
事実14: この郊外住宅地は利用し易くないなら「野面であるしさらに緊急課題である」ということは偽である
事実15: 仮に何らかのものは野面でないとすると酸っぱいということはないしその上男女職員でない
事実16: もし仮に「この郊外住宅地は八十センチメートル以上でないけれど利用し易い」ということは誤りだとしたらそれは利用し易くない
事実17: この郊外住宅地は長軸像である

仮説: この郊外住宅地は長軸像である
1. 事実17から、仮説が導かれる

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