そのハードディスクは仕舞い易い
fact1: もしその語り口がフラッシュバックするとするとそのハードディスクは仕舞い易い fact2: 仮にあのポンチョが厭わしくないとすると左右され易くて更に惜しみ無い fact3: その語り口はフラッシュバックする fact4: 「もしもあのポンチョが左右され易いならあのポンチョはオーベルジュだがしかし政治化しない」ということは誤りだということはない fact5: その使場はフラッシュバックする fact6: あのポンチョは厭わしくない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
そのハードディスクは仕舞い易いということはない
fact8 & fact9 -> int1: あのポンチョは左右され易くて惜しみ無い; int1 -> int2: あのポンチョは左右され易い; fact7 & int2 -> int3: あのポンチョはオーベルジュであるがしかし政治化しない; int3 -> int4: あのポンチョは政治化するということはない; int4 -> int5: 「政治化しない」物はある;
$facts$ = fact1: もしその語り口がフラッシュバックするとするとそのハードディスクは仕舞い易い fact2: 仮にあのポンチョが厭わしくないとすると左右され易くて更に惜しみ無い fact3: その語り口はフラッシュバックする fact4: 「もしもあのポンチョが左右され易いならあのポンチョはオーベルジュだがしかし政治化しない」ということは誤りだということはない fact5: その使場はフラッシュバックする fact6: あのポンチョは厭わしくない ; $hypothesis$ = そのハードディスクは仕舞い易い ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: もしその語り口がフラッシュバックするとするとそのハードディスクは仕舞い易い
事実2: 仮にあのポンチョが厭わしくないとすると左右され易くて更に惜しみ無い
事実3: その語り口はフラッシュバックする
事実4: 「もしもあのポンチョが左右され易いならあのポンチョはオーベルジュだがしかし政治化しない」ということは誤りだということはない
事実5: その使場はフラッシュバックする
事実6: あのポンチョは厭わしくない

仮説: そのハードディスクは仕舞い易い
1. 事実1と事実3から、仮説が導かれる

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