そのＩＮＨが名高くないならばあの虚飾は単一点偏心監視だ
fact1: 仮にそのＷオールオブジェクトが照れ臭いとすればあの百四十／九十ミリメートルＨＧ未満は復讐するということはないが仲間らしい fact2: その百四十／九十ミリメートルＨＧ未満が復讐しないがしかし仲間らしいとするとそのＩＮＨは名高い fact3: あの虚飾が単一点偏心監視でないけど働けるとするとそのＷオールオブジェクトは照れ臭い fact4: 「あの虚飾は入れ難いということはない一方でそれは作り易い」ということは成り立つなら働ける fact5: もしもそのＷオールオブジェクトが照れ臭いとすればその百四十／九十ミリメートルＨＧ未満は仲間らしい fact6: あの虚飾は入れ難くない一方で作り易い
fact4 & fact6 -> int1: あの虚飾は働ける; void -> assump1: 以下のように仮定する。あの虚飾は単一点偏心監視でない; int1 & assump1 -> int2: あの虚飾は単一点偏心監視でない一方で働ける; int2 & fact3 -> int3: そのＷオールオブジェクトは照れ臭い; int3 & fact1 -> int4: その百四十／九十ミリメートルＨＧ未満は復讐しない一方で仲間らしい; int4 & fact2 -> int5: そのＩＮＨは名高い; void -> assump2: 以下のように仮定する。そのＩＮＨは名高くない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの虚飾は単一点偏心監視である; [assump2] & int7 -> hypothesis;
$facts$ = fact1: 仮にそのＷオールオブジェクトが照れ臭いとすればあの百四十／九十ミリメートルＨＧ未満は復讐するということはないが仲間らしい fact2: その百四十／九十ミリメートルＨＧ未満が復讐しないがしかし仲間らしいとするとそのＩＮＨは名高い fact3: あの虚飾が単一点偏心監視でないけど働けるとするとそのＷオールオブジェクトは照れ臭い fact4: 「あの虚飾は入れ難いということはない一方でそれは作り易い」ということは成り立つなら働ける fact5: もしもそのＷオールオブジェクトが照れ臭いとすればその百四十／九十ミリメートルＨＧ未満は仲間らしい fact6: あの虚飾は入れ難くない一方で作り易い ; $hypothesis$ = そのＩＮＨが名高くないならばあの虚飾は単一点偏心監視だ ; $proof$ = 
fact4 & fact6 -> int1: あの虚飾は働ける; void -> assump1: 以下のように仮定する。あの虚飾は単一点偏心監視でない; int1 & assump1 -> int2: あの虚飾は単一点偏心監視でない一方で働ける; int2 & fact3 -> int3: そのＷオールオブジェクトは照れ臭い; int3 & fact1 -> int4: その百四十／九十ミリメートルＨＧ未満は復讐しない一方で仲間らしい; int4 & fact2 -> int5: そのＩＮＨは名高い; void -> assump2: 以下のように仮定する。そのＩＮＨは名高くない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの虚飾は単一点偏心監視である; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 仮にそのＷオールオブジェクトが照れ臭いとすればあの百四十／九十ミリメートルＨＧ未満は復讐するということはないが仲間らしい
事実2: その百四十／九十ミリメートルＨＧ未満が復讐しないがしかし仲間らしいとするとそのＩＮＨは名高い
事実3: あの虚飾が単一点偏心監視でないけど働けるとするとそのＷオールオブジェクトは照れ臭い
事実4: 「あの虚飾は入れ難いということはない一方でそれは作り易い」ということは成り立つなら働ける
事実5: もしもそのＷオールオブジェクトが照れ臭いとすればその百四十／九十ミリメートルＨＧ未満は仲間らしい
事実6: あの虚飾は入れ難くない一方で作り易い

仮説: そのＩＮＨが名高くないならばあの虚飾は単一点偏心監視だ
1. 事実4と事実6から、推論1: "あの虚飾は働ける"が導かれる
2. 仮定1: 以下のように仮定する。あの虚飾は単一点偏心監視でない
3. 推論1と仮定1から、推論2: "あの虚飾は単一点偏心監視でない一方で働ける"が導かれる
4. 推論2と事実3から、推論3: "そのＷオールオブジェクトは照れ臭い"が導かれる
5. 推論3と事実1から、推論4: "その百四十／九十ミリメートルＨＧ未満は復讐しない一方で仲間らしい"が導かれる
6. 推論4と事実2から、推論5: "そのＩＮＨは名高い"が導かれる
7. 仮定2: 以下のように仮定する。そのＩＮＨは名高くない
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "あの虚飾は単一点偏心監視である"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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