あの処女等は留保する
fact1: あの処女等は目敏い fact2: この拡散係数は留保する fact3: あの日本髪は生じ難い fact4: この有り難みは落選するししかもそれは生じ難い fact5: あの反復運動は生じ難い fact6: すべては黙認する fact7: あの処女等は野津軍である fact8: あの処女等は御濃い fact9: あの処女等は有り難し fact10: あの預け入れは程遠いししかも粘っこい fact11: その大戦は留保する fact12: あの処女等は生じ難いしさらに留保する fact13: あの処女等は引き絞るしその上パーソナリティー類型である fact14: もし何かは黙認するなら「それは野津軍でないし軽くない」ということは誤っている fact15: あのオーガズムは留保する fact16: もしも「とある物は野津軍だということはないしそれに軽くない」ということは偽であるならばそれはホビット村だ fact17: もしも「ホビット村な」ものはあるなら「あの処女等は与え兼ねるしまた生じ難い」ということは嘘である fact18: あの処女等は断片化する fact19: あの処女等は御所沼であるし加えて若者らしい fact20: その塵処理は生じ難い
fact12 -> hypothesis;
あの処女等は留保しない
fact22 -> int1: その火力は黙認する; fact23 -> int2: 仮にその火力は黙認するなら「野津軍でなくておまけに軽くない」ということは嘘だ; int1 & int2 -> int3: 「その火力は野津軍でなくてまたそれは軽いということはない」ということは成り立つということはない; int3 -> int4: それは野津軍でなくておまけに軽くないという物はない; int4 -> int5: 「その御用屋敷は野津軍でなくて加えてそれは軽くない」ということは嘘である; fact24 -> int6: 「「その御用屋敷は野津軍でないし加えて軽いということはない」ということは成り立たないならその御用屋敷はホビット村である」ということは確かだ; int5 & int6 -> int7: その御用屋敷はホビット村である; int7 -> int8: 「ホビット村な」ものはある; int8 & fact21 -> int9: 「あの処女等は与え兼ねるし更に生じ難い」ということは誤りだ;
$facts$ = fact1: あの処女等は目敏い fact2: この拡散係数は留保する fact3: あの日本髪は生じ難い fact4: この有り難みは落選するししかもそれは生じ難い fact5: あの反復運動は生じ難い fact6: すべては黙認する fact7: あの処女等は野津軍である fact8: あの処女等は御濃い fact9: あの処女等は有り難し fact10: あの預け入れは程遠いししかも粘っこい fact11: その大戦は留保する fact12: あの処女等は生じ難いしさらに留保する fact13: あの処女等は引き絞るしその上パーソナリティー類型である fact14: もし何かは黙認するなら「それは野津軍でないし軽くない」ということは誤っている fact15: あのオーガズムは留保する fact16: もしも「とある物は野津軍だということはないしそれに軽くない」ということは偽であるならばそれはホビット村だ fact17: もしも「ホビット村な」ものはあるなら「あの処女等は与え兼ねるしまた生じ難い」ということは嘘である fact18: あの処女等は断片化する fact19: あの処女等は御所沼であるし加えて若者らしい fact20: その塵処理は生じ難い ; $hypothesis$ = あの処女等は留保する ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: あの処女等は目敏い
事実2: この拡散係数は留保する
事実3: あの日本髪は生じ難い
事実4: この有り難みは落選するししかもそれは生じ難い
事実5: あの反復運動は生じ難い
事実6: すべては黙認する
事実7: あの処女等は野津軍である
事実8: あの処女等は御濃い
事実9: あの処女等は有り難し
事実10: あの預け入れは程遠いししかも粘っこい
事実11: その大戦は留保する
事実12: あの処女等は生じ難いしさらに留保する
事実13: あの処女等は引き絞るしその上パーソナリティー類型である
事実14: もし何かは黙認するなら「それは野津軍でないし軽くない」ということは誤っている
事実15: あのオーガズムは留保する
事実16: もしも「とある物は野津軍だということはないしそれに軽くない」ということは偽であるならばそれはホビット村だ
事実17: もしも「ホビット村な」ものはあるなら「あの処女等は与え兼ねるしまた生じ難い」ということは嘘である
事実18: あの処女等は断片化する
事実19: あの処女等は御所沼であるし加えて若者らしい
事実20: その塵処理は生じ難い

仮説: あの処女等は留保する
1. 事実12から、仮説が導かれる

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