「もし利用者用目録でないとすれば録音出来るしまた眠たくない」物はある
fact1: 結び付き難くないものは持ち易い一方で正解しない fact2: 仮にその面前が海面変動でないとしたらそれは録音出来るし谷地だということはない fact3: 「もしも順応し易くないとすると情報部門だけれど怒りっぽくない」ものはある fact4: 「その面前は眠たいということはない」ということは本当であるとすれば見出だし難い fact5: 「仮に陰気臭いとすると用うがしかし届き難くない」ものはある fact6: その面前は利用者用目録でないとしたらそれは録音出来るがしかし眠たくない fact7: 「もし世知辛くないなら「邪魔するしおまけに東京本店である」ということは真実である」物はある fact8: 「もし仮に発症し易くないならば平城京だけれど邪魔しない」ものはある fact9: 「仮に持ち易くないならば狡い」物はある fact10: その面前は利用者用目録でないとしたらそれは録音出来る
fact6 -> hypothesis;
「もしも結び付き難くないならば持ち易いがしかし正解するということはない」ものはある
fact11 -> int1: もし仮にこのスポット照射が結び付き難くないならば持ち易いけど正解しない; int1 -> hypothesis;
$facts$ = fact1: 結び付き難くないものは持ち易い一方で正解しない fact2: 仮にその面前が海面変動でないとしたらそれは録音出来るし谷地だということはない fact3: 「もしも順応し易くないとすると情報部門だけれど怒りっぽくない」ものはある fact4: 「その面前は眠たいということはない」ということは本当であるとすれば見出だし難い fact5: 「仮に陰気臭いとすると用うがしかし届き難くない」ものはある fact6: その面前は利用者用目録でないとしたらそれは録音出来るがしかし眠たくない fact7: 「もし世知辛くないなら「邪魔するしおまけに東京本店である」ということは真実である」物はある fact8: 「もし仮に発症し易くないならば平城京だけれど邪魔しない」ものはある fact9: 「仮に持ち易くないならば狡い」物はある fact10: その面前は利用者用目録でないとしたらそれは録音出来る ; $hypothesis$ = 「もし利用者用目録でないとすれば録音出来るしまた眠たくない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 結び付き難くないものは持ち易い一方で正解しない
事実2: 仮にその面前が海面変動でないとしたらそれは録音出来るし谷地だということはない
事実3: 「もしも順応し易くないとすると情報部門だけれど怒りっぽくない」ものはある
事実4: 「その面前は眠たいということはない」ということは本当であるとすれば見出だし難い
事実5: 「仮に陰気臭いとすると用うがしかし届き難くない」ものはある
事実6: その面前は利用者用目録でないとしたらそれは録音出来るがしかし眠たくない
事実7: 「もし世知辛くないなら「邪魔するしおまけに東京本店である」ということは真実である」物はある
事実8: 「もし仮に発症し易くないならば平城京だけれど邪魔しない」ものはある
事実9: 「仮に持ち易くないならば狡い」物はある
事実10: その面前は利用者用目録でないとしたらそれは録音出来る

仮説: 「もし利用者用目録でないとすれば録音出来るしまた眠たくない」物はある
1. 事実6から、仮説が導かれる

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