「あの専門的トレーニングは起立するし帰隊する」ということは成り立たない
fact1: もし仮に「あの住居税はドラッグ＆ドロップするけれど転出しない」ということは成り立たないとしたらあの専門的トレーニングは換算しない fact2: その成年養子は起立する fact3: あの専門的トレーニングは起立する fact4: もしもあの住居税は薄明るくないとすれば「あの専門的トレーニングは起立するししかもそれは帰隊する」ということは成り立たない fact5: もしとあるものはドラッグ＆ドロップするということはないとすると「転出するし更に薄明るい」ということは成り立たない fact6: 仮にあるものは薄明るくないとすると「あの住居税はドラッグ＆ドロップするがしかし転出しない」ということは事実でない fact7: 「薄明るくない」物はある fact8: 仮に「このうっそーはシャウトするということはないかまたはドラッグ＆ドロップするということはないかもしくは両方である」ということは間違っているとすればあの住居税はドラッグ＆ドロップしない fact9: あの住居税は帰隊しない fact10: 「薄明るい」物はある fact11: もしもなにがしかのものが換算しないとしたら帰隊する
fact7 & fact6 -> int1: 「あの住居税はドラッグ＆ドロップするが転出しない」ということは事実と異なる; int1 & fact1 -> int2: あの専門的トレーニングは換算しない; fact11 -> int3: 仮に「あの専門的トレーニングは換算する」ということは誤りだとするとそれは帰隊する; int2 & int3 -> int4: あの専門的トレーニングは帰隊する; int4 & fact3 -> hypothesis;
「あの専門的トレーニングは起立するしまた帰隊する」ということは成り立たない
fact14 -> int5: もし仮にあの住居税はドラッグ＆ドロップするということはないとすれば「転出するしおまけに薄明るい」ということは成り立たない;
$facts$ = fact1: もし仮に「あの住居税はドラッグ＆ドロップするけれど転出しない」ということは成り立たないとしたらあの専門的トレーニングは換算しない fact2: その成年養子は起立する fact3: あの専門的トレーニングは起立する fact4: もしもあの住居税は薄明るくないとすれば「あの専門的トレーニングは起立するししかもそれは帰隊する」ということは成り立たない fact5: もしとあるものはドラッグ＆ドロップするということはないとすると「転出するし更に薄明るい」ということは成り立たない fact6: 仮にあるものは薄明るくないとすると「あの住居税はドラッグ＆ドロップするがしかし転出しない」ということは事実でない fact7: 「薄明るくない」物はある fact8: 仮に「このうっそーはシャウトするということはないかまたはドラッグ＆ドロップするということはないかもしくは両方である」ということは間違っているとすればあの住居税はドラッグ＆ドロップしない fact9: あの住居税は帰隊しない fact10: 「薄明るい」物はある fact11: もしもなにがしかのものが換算しないとしたら帰隊する ; $hypothesis$ = 「あの専門的トレーニングは起立するし帰隊する」ということは成り立たない ; $proof$ = 
fact7 & fact6 -> int1: 「あの住居税はドラッグ＆ドロップするが転出しない」ということは事実と異なる; int1 & fact1 -> int2: あの専門的トレーニングは換算しない; fact11 -> int3: 仮に「あの専門的トレーニングは換算する」ということは誤りだとするとそれは帰隊する; int2 & int3 -> int4: あの専門的トレーニングは帰隊する; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの住居税はドラッグ＆ドロップするけれど転出しない」ということは成り立たないとしたらあの専門的トレーニングは換算しない
事実2: その成年養子は起立する
事実3: あの専門的トレーニングは起立する
事実4: もしもあの住居税は薄明るくないとすれば「あの専門的トレーニングは起立するししかもそれは帰隊する」ということは成り立たない
事実5: もしとあるものはドラッグ＆ドロップするということはないとすると「転出するし更に薄明るい」ということは成り立たない
事実6: 仮にあるものは薄明るくないとすると「あの住居税はドラッグ＆ドロップするがしかし転出しない」ということは事実でない
事実7: 「薄明るくない」物はある
事実8: 仮に「このうっそーはシャウトするということはないかまたはドラッグ＆ドロップするということはないかもしくは両方である」ということは間違っているとすればあの住居税はドラッグ＆ドロップしない
事実9: あの住居税は帰隊しない
事実10: 「薄明るい」物はある
事実11: もしもなにがしかのものが換算しないとしたら帰隊する

仮説: 「あの専門的トレーニングは起立するし帰隊する」ということは成り立たない
1. 事実7と事実6から、推論1: "「あの住居税はドラッグ＆ドロップするが転出しない」ということは事実と異なる"が導かれる
2. 推論1と事実1から、推論2: "あの専門的トレーニングは換算しない"が導かれる
3. 事実11から、推論3: "仮に「あの専門的トレーニングは換算する」ということは誤りだとするとそれは帰隊する"が導かれる
4. 推論2と推論3から、推論4: "あの専門的トレーニングは帰隊する"が導かれる
5. 推論4と事実3から、仮説が否定される

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