「この基本座標は分解され難いしおまけにそれはテラス席である」ということは成り立たない
fact1: もし仮にあの地区計画制度は唐破風作りでないとしたら「この基本座標は分解され難くてかつそれはテラス席だ」ということは成り立たない fact2: この衛星都市が切腹しないなら中世人でまたそれは甲斐甲斐しい fact3: 何らかのものは唐破風作りでないとすると分解され難いしその上見極め難い fact4: もしもこの衛星都市が中世人だとするとあの地区計画制度は唐破風作りでなくて加えて見極め難くない fact5: 「「会食するということはないし取れる」ということは嘘な」ものはある fact6: この基本座標は見極め難い fact7: この基本座標が唐破風作りだということはないとすればそれは見極め難い fact8: この基本座標はテラス席であるし更に中世人である fact9: 「「会食するということはないし取れる」ということは成り立たない」物があるとするとこの基本座標は唐破風作りであるということはない fact10: 仮に「「見極め難くないしまたそそっかしい」ということは間違っている」ものがあればこの基本座標は老人保健法でない fact11: 仮に何かは唐破風作りでないならそれは見極め難い fact12: あのフォント情報は釈するしその上見極め難い
fact5 & fact9 -> int1: この基本座標は唐破風作りでない; fact3 -> int2: もし仮にこの基本座標は唐破風作りでないならばそれは分解され難いしその上見極め難い; int1 & int2 -> int3: この基本座標は分解され難いし更にそれは見極め難い; int3 -> int4: この基本座標は分解され難い; fact8 -> int5: この基本座標はテラス席だ; int4 & int5 -> hypothesis;
「この基本座標は分解され難くてそれにテラス席である」ということは嘘である
$facts$ = fact1: もし仮にあの地区計画制度は唐破風作りでないとしたら「この基本座標は分解され難くてかつそれはテラス席だ」ということは成り立たない fact2: この衛星都市が切腹しないなら中世人でまたそれは甲斐甲斐しい fact3: 何らかのものは唐破風作りでないとすると分解され難いしその上見極め難い fact4: もしもこの衛星都市が中世人だとするとあの地区計画制度は唐破風作りでなくて加えて見極め難くない fact5: 「「会食するということはないし取れる」ということは嘘な」ものはある fact6: この基本座標は見極め難い fact7: この基本座標が唐破風作りだということはないとすればそれは見極め難い fact8: この基本座標はテラス席であるし更に中世人である fact9: 「「会食するということはないし取れる」ということは成り立たない」物があるとするとこの基本座標は唐破風作りであるということはない fact10: 仮に「「見極め難くないしまたそそっかしい」ということは間違っている」ものがあればこの基本座標は老人保健法でない fact11: 仮に何かは唐破風作りでないならそれは見極め難い fact12: あのフォント情報は釈するしその上見極め難い ; $hypothesis$ = 「この基本座標は分解され難いしおまけにそれはテラス席である」ということは成り立たない ; $proof$ = 
fact5 & fact9 -> int1: この基本座標は唐破風作りでない; fact3 -> int2: もし仮にこの基本座標は唐破風作りでないならばそれは分解され難いしその上見極め難い; int1 & int2 -> int3: この基本座標は分解され難いし更にそれは見極め難い; int3 -> int4: この基本座標は分解され難い; fact8 -> int5: この基本座標はテラス席だ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの地区計画制度は唐破風作りでないとしたら「この基本座標は分解され難くてかつそれはテラス席だ」ということは成り立たない
事実2: この衛星都市が切腹しないなら中世人でまたそれは甲斐甲斐しい
事実3: 何らかのものは唐破風作りでないとすると分解され難いしその上見極め難い
事実4: もしもこの衛星都市が中世人だとするとあの地区計画制度は唐破風作りでなくて加えて見極め難くない
事実5: 「「会食するということはないし取れる」ということは嘘な」ものはある
事実6: この基本座標は見極め難い
事実7: この基本座標が唐破風作りだということはないとすればそれは見極め難い
事実8: この基本座標はテラス席であるし更に中世人である
事実9: 「「会食するということはないし取れる」ということは成り立たない」物があるとするとこの基本座標は唐破風作りであるということはない
事実10: 仮に「「見極め難くないしまたそそっかしい」ということは間違っている」ものがあればこの基本座標は老人保健法でない
事実11: 仮に何かは唐破風作りでないならそれは見極め難い
事実12: あのフォント情報は釈するしその上見極め難い

仮説: 「この基本座標は分解され難いしおまけにそれはテラス席である」ということは成り立たない
1. 事実5と事実9から、推論1: "この基本座標は唐破風作りでない"が導かれる
2. 事実3から、推論2: "もし仮にこの基本座標は唐破風作りでないならばそれは分解され難いしその上見極め難い"が導かれる
3. 推論1と推論2から、推論3: "この基本座標は分解され難いし更にそれは見極め難い"が導かれる
4. 推論3から、推論4: "この基本座標は分解され難い"が導かれる
5. 事実8から、推論5: "この基本座標はテラス席だ"が導かれる
6. 推論4と推論5から、仮説が否定される

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