そのドイツ人女性は一般ユーザだ
fact1: 仮に「あのノットは歌い継がないけれど新館である」ということは偽だとすればあのドイツ人女性は吸収され易い fact2: あのノットは歌い継がない fact3: 吸収され易い物は一般ユーザだ fact4: あのノットは寝苦しくないが召し出す fact5: あのノットは吸収され易くない fact6: あのノットは粘っこい fact7: 「あのノットは歌い継ぐし新館である」ということは誤っている fact8: もしあのノットは歌い継がない一方で新館だとしたらそれは嘆かわしくない fact9: 「その規範意見は動作化しないけど削減だ」ということは誤っている fact10: もしもあのノットが歌い継ぐしそれが新館ならば嘆かわしくない fact11: もし仮にあのノットが歌い継ぐならそのドイツ人女性は吸収され易い fact12: あのノットは嘆かわしいし粘っこい fact13: もし仮にあのノットは新館であるということはないけれど一般ユーザならばそれは粘っこくない
void -> assump1: 以下のように仮定する。あのノットは歌い継がないがしかし新館だ; fact8 & assump1 -> int1: あのノットは嘆かわしくない; fact12 -> int2: あのノットは嘆かわしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのノットは歌い継がない一方で新館である」ということは確かでない; int4 & fact1 -> int5: そのドイツ人女性は吸収され易い; fact3 -> int6: そのドイツ人女性が吸収され易いとしたらそれは一般ユーザだ; int5 & int6 -> hypothesis;
$facts$ = fact1: 仮に「あのノットは歌い継がないけれど新館である」ということは偽だとすればあのドイツ人女性は吸収され易い fact2: あのノットは歌い継がない fact3: 吸収され易い物は一般ユーザだ fact4: あのノットは寝苦しくないが召し出す fact5: あのノットは吸収され易くない fact6: あのノットは粘っこい fact7: 「あのノットは歌い継ぐし新館である」ということは誤っている fact8: もしあのノットは歌い継がない一方で新館だとしたらそれは嘆かわしくない fact9: 「その規範意見は動作化しないけど削減だ」ということは誤っている fact10: もしもあのノットが歌い継ぐしそれが新館ならば嘆かわしくない fact11: もし仮にあのノットが歌い継ぐならそのドイツ人女性は吸収され易い fact12: あのノットは嘆かわしいし粘っこい fact13: もし仮にあのノットは新館であるということはないけれど一般ユーザならばそれは粘っこくない ; $hypothesis$ = そのドイツ人女性は一般ユーザだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのノットは歌い継がないがしかし新館だ; fact8 & assump1 -> int1: あのノットは嘆かわしくない; fact12 -> int2: あのノットは嘆かわしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのノットは歌い継がない一方で新館である」ということは確かでない; int4 & fact1 -> int5: そのドイツ人女性は吸収され易い; fact3 -> int6: そのドイツ人女性が吸収され易いとしたらそれは一般ユーザだ; int5 & int6 -> hypothesis; __PROVED__
事実1: 仮に「あのノットは歌い継がないけれど新館である」ということは偽だとすればあのドイツ人女性は吸収され易い
事実2: あのノットは歌い継がない
事実3: 吸収され易い物は一般ユーザだ
事実4: あのノットは寝苦しくないが召し出す
事実5: あのノットは吸収され易くない
事実6: あのノットは粘っこい
事実7: 「あのノットは歌い継ぐし新館である」ということは誤っている
事実8: もしあのノットは歌い継がない一方で新館だとしたらそれは嘆かわしくない
事実9: 「その規範意見は動作化しないけど削減だ」ということは誤っている
事実10: もしもあのノットが歌い継ぐしそれが新館ならば嘆かわしくない
事実11: もし仮にあのノットが歌い継ぐならそのドイツ人女性は吸収され易い
事実12: あのノットは嘆かわしいし粘っこい
事実13: もし仮にあのノットは新館であるということはないけれど一般ユーザならばそれは粘っこくない

仮説: そのドイツ人女性は一般ユーザだ
1. 仮定1: 以下のように仮定する。あのノットは歌い継がないがしかし新館だ
2. 事実8と仮定1から、推論1: "あのノットは嘆かわしくない"が導かれる
3. 事実12から、推論2: "あのノットは嘆かわしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あのノットは歌い継がない一方で新館である」ということは確かでない"が導かれる
6. 推論4と事実1から、推論5: "そのドイツ人女性は吸収され易い"が導かれる
7. 事実3から、推論6: "そのドイツ人女性が吸収され易いとしたらそれは一般ユーザだ"が導かれる
8. 推論5と推論6から、仮説が導かれる

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