この樹高は浸漬する
fact1: そのビューゲートは常連らしいがしかし国際協定でない fact2: そのビューゲートが常連らしいが国際協定でないとするとあのキーバインドは浸漬しない fact3: もし仮になにかは会計報告書であるとしたらそれは自己言及する fact4: 頼り無いものは色欲だということはないしまたリフレッシュしない fact5: もしもあのキーバインドが浸漬しないならこの樹高は浸漬するが色欲でない fact6: もしも「なにかは自己言及する」ということは成り立つとしたら頼り無い fact7: もしもあのキーバインドがひ弱くないとするとそれは会計報告書である fact8: そのビューゲートは上がり難いけれどそれは色欲でない
fact2 & fact1 -> int1: あのキーバインドは浸漬しない; int1 & fact5 -> int2: この樹高は浸漬するが色欲でない; int2 -> hypothesis;
そのビューゲートは浸漬する
fact9 -> int3: もし仮にあのキーバインドが頼り無いとするとそれは色欲でないしおまけにリフレッシュしない; fact11 -> int4: もし仮に「あのキーバインドは自己言及する」ということは真実であるとすると「頼り無い」ということは成り立つ; fact12 -> int5: あのキーバインドが会計報告書だとするとそれは自己言及する;
$facts$ = fact1: そのビューゲートは常連らしいがしかし国際協定でない fact2: そのビューゲートが常連らしいが国際協定でないとするとあのキーバインドは浸漬しない fact3: もし仮になにかは会計報告書であるとしたらそれは自己言及する fact4: 頼り無いものは色欲だということはないしまたリフレッシュしない fact5: もしもあのキーバインドが浸漬しないならこの樹高は浸漬するが色欲でない fact6: もしも「なにかは自己言及する」ということは成り立つとしたら頼り無い fact7: もしもあのキーバインドがひ弱くないとするとそれは会計報告書である fact8: そのビューゲートは上がり難いけれどそれは色欲でない ; $hypothesis$ = この樹高は浸漬する ; $proof$ = 
fact2 & fact1 -> int1: あのキーバインドは浸漬しない; int1 & fact5 -> int2: この樹高は浸漬するが色欲でない; int2 -> hypothesis; __PROVED__
事実1: そのビューゲートは常連らしいがしかし国際協定でない
事実2: そのビューゲートが常連らしいが国際協定でないとするとあのキーバインドは浸漬しない
事実3: もし仮になにかは会計報告書であるとしたらそれは自己言及する
事実4: 頼り無いものは色欲だということはないしまたリフレッシュしない
事実5: もしもあのキーバインドが浸漬しないならこの樹高は浸漬するが色欲でない
事実6: もしも「なにかは自己言及する」ということは成り立つとしたら頼り無い
事実7: もしもあのキーバインドがひ弱くないとするとそれは会計報告書である
事実8: そのビューゲートは上がり難いけれどそれは色欲でない

仮説: この樹高は浸漬する
1. 事実2と事実1から、推論1: "あのキーバインドは浸漬しない"が導かれる
2. 推論1と事実5から、推論2: "この樹高は浸漬するが色欲でない"が導かれる
3. 推論2から、仮説が導かれる

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