「この引き延ばしタイマーは如何わしいということはない」ということは真実である
fact1: この引き延ばしタイマーは飛び掛からない fact2: その画角は如何わしくない fact3: 仮にそのアポクリファがむず痒くないとしたらあの力士達は労働条件であるか破門する fact4: この引き延ばしタイマーは形成し易いということはない fact5: この引き延ばしタイマーは如何わしくない fact6: もし仮になにかは破門しないけど移り住むとしたら如何わしくない fact7: もしあの情報操作は通り易いということはないとしたら「それは付き易いしかつむず痒い」ということは誤りだ fact8: 「その転売は如何わしくない」ということは事実である fact9: この引き延ばしタイマーは発生し易いということはない fact10: なにがしかのものが破門しないなら如何わしいししかも移り住む fact11: この統一感は如何わしくない
fact5 -> hypothesis;
fact5 -> hypothesis;
「この引き延ばしタイマーは如何わしくない」ということは事実と異なる
fact13 -> int1: この引き延ばしタイマーが破門しないとすればそれは如何わしいし移り住む;
$facts$ = fact1: この引き延ばしタイマーは飛び掛からない fact2: その画角は如何わしくない fact3: 仮にそのアポクリファがむず痒くないとしたらあの力士達は労働条件であるか破門する fact4: この引き延ばしタイマーは形成し易いということはない fact5: この引き延ばしタイマーは如何わしくない fact6: もし仮になにかは破門しないけど移り住むとしたら如何わしくない fact7: もしあの情報操作は通り易いということはないとしたら「それは付き易いしかつむず痒い」ということは誤りだ fact8: 「その転売は如何わしくない」ということは事実である fact9: この引き延ばしタイマーは発生し易いということはない fact10: なにがしかのものが破門しないなら如何わしいししかも移り住む fact11: この統一感は如何わしくない ; $hypothesis$ = 「この引き延ばしタイマーは如何わしいということはない」ということは真実である ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この引き延ばしタイマーは飛び掛からない
事実2: その画角は如何わしくない
事実3: 仮にそのアポクリファがむず痒くないとしたらあの力士達は労働条件であるか破門する
事実4: この引き延ばしタイマーは形成し易いということはない
事実5: この引き延ばしタイマーは如何わしくない
事実6: もし仮になにかは破門しないけど移り住むとしたら如何わしくない
事実7: もしあの情報操作は通り易いということはないとしたら「それは付き易いしかつむず痒い」ということは誤りだ
事実8: 「その転売は如何わしくない」ということは事実である
事実9: この引き延ばしタイマーは発生し易いということはない
事実10: なにがしかのものが破門しないなら如何わしいししかも移り住む
事実11: この統一感は如何わしくない

仮説: 「この引き延ばしタイマーは如何わしいということはない」ということは真実である
1. 事実5から、仮説が導かれる

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