「その阻害はさよならしない」ということは本当である
fact1: もしこの平均単価がスクロールすればその摂食障害は知覚出来るがしかし眠たくない fact2: この平均単価はさよならしない fact3: もしその摂食障害が娘らしいならばこの平均単価はスクロールする一方で知覚出来るということはない fact4: その摂食障害は娘らしくない fact5: その摂食障害は態とらしい fact6: もしもこの平均単価が娘らしいとしたらスクロールする fact7: その摂食障害はさよならしない fact8: あの今人気は知覚出来る fact9: その阻害はスクロールするということはない fact10: この平均単価が態とらしいならばそれは娘らしい fact11: もしこの平均単価が眠たいけれど知覚出来ないならばその摂食障害は態とらしくない fact12: この平均単価は態とらしい fact13: 仮にその摂食障害が知覚出来るけど眠たいということはないとするとその阻害はさよならしない fact14: 仮にこの平均単価は知覚出来るとすると「その摂食障害はさよならするけど態とらしくない」ということは確かである
fact10 & fact12 -> int1: この平均単価は娘らしい; int1 & fact6 -> int2: この平均単価はスクロールする; int2 & fact1 -> int3: その摂食障害は知覚出来るが眠たいということはない; int3 & fact13 -> hypothesis;
$facts$ = fact1: もしこの平均単価がスクロールすればその摂食障害は知覚出来るがしかし眠たくない fact2: この平均単価はさよならしない fact3: もしその摂食障害が娘らしいならばこの平均単価はスクロールする一方で知覚出来るということはない fact4: その摂食障害は娘らしくない fact5: その摂食障害は態とらしい fact6: もしもこの平均単価が娘らしいとしたらスクロールする fact7: その摂食障害はさよならしない fact8: あの今人気は知覚出来る fact9: その阻害はスクロールするということはない fact10: この平均単価が態とらしいならばそれは娘らしい fact11: もしこの平均単価が眠たいけれど知覚出来ないならばその摂食障害は態とらしくない fact12: この平均単価は態とらしい fact13: 仮にその摂食障害が知覚出来るけど眠たいということはないとするとその阻害はさよならしない fact14: 仮にこの平均単価は知覚出来るとすると「その摂食障害はさよならするけど態とらしくない」ということは確かである ; $hypothesis$ = 「その阻害はさよならしない」ということは本当である ; $proof$ = 
fact10 & fact12 -> int1: この平均単価は娘らしい; int1 & fact6 -> int2: この平均単価はスクロールする; int2 & fact1 -> int3: その摂食障害は知覚出来るが眠たいということはない; int3 & fact13 -> hypothesis; __PROVED__
事実1: もしこの平均単価がスクロールすればその摂食障害は知覚出来るがしかし眠たくない
事実2: この平均単価はさよならしない
事実3: もしその摂食障害が娘らしいならばこの平均単価はスクロールする一方で知覚出来るということはない
事実4: その摂食障害は娘らしくない
事実5: その摂食障害は態とらしい
事実6: もしもこの平均単価が娘らしいとしたらスクロールする
事実7: その摂食障害はさよならしない
事実8: あの今人気は知覚出来る
事実9: その阻害はスクロールするということはない
事実10: この平均単価が態とらしいならばそれは娘らしい
事実11: もしこの平均単価が眠たいけれど知覚出来ないならばその摂食障害は態とらしくない
事実12: この平均単価は態とらしい
事実13: 仮にその摂食障害が知覚出来るけど眠たいということはないとするとその阻害はさよならしない
事実14: 仮にこの平均単価は知覚出来るとすると「その摂食障害はさよならするけど態とらしくない」ということは確かである

仮説: 「その阻害はさよならしない」ということは本当である
1. 事実10と事実12から、推論1: "この平均単価は娘らしい"が導かれる
2. 推論1と事実6から、推論2: "この平均単価はスクロールする"が導かれる
3. 推論2と事実1から、推論3: "その摂食障害は知覚出来るが眠たいということはない"が導かれる
4. 推論3と事実13から、仮説が導かれる

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