そのノートパソコンは過ごし易い
fact1: もしそのノートパソコンが態とらしくない一方でそれが芸事であるならばその合宿先は中毒しない fact2: そのノートパソコンは開幕する fact3: もしもなんらかのものは食べ比べないなら「解け易いし説教する」ということは誤りだ fact4: もしも「なんらかの物は障害者基本計画でなくておまけに過ごし易くない」ということは嘘だとすれば開幕する fact5: もし仮にとあるものは開幕するしかつ障害者基本計画であるとすると過ごし易くない fact6: 「「バイオリン弾きだし食べ比べる」ということは間違いである」ものはある fact7: もし仮に何かは中毒するということはないならば「障害者基本計画でないしそれは過ごし易くない」ということは成り立たない fact8: もしとあるものが中毒しないとすると開幕するしまた障害者基本計画だ fact9: あのシステムファイルは芸事でないとすれば「このサニーレタスは態とらしいかあるいは中毒するか両方だ」ということは成り立たない fact10: その亡命先は開幕する fact11: そのノートパソコンは過ごし易くて加えて開幕する fact12: 仮に「「バイオリン弾きで食べ比べる」ということは誤っている」ものはあるなら「そのノートパソコンは食べ比べない」ということは事実である fact13: この垂線は吹き付けるしそれに過ごし易い fact14: もし「何かは解け易いし説教する」ということは誤りであるとしたら解け易くない fact15: 「何らかの物はピカデリー線でない」ということは誤りでないなら態とらしいということはない一方で芸事である fact16: 「このサニーレタスは態とらしいかあるいは中毒するか両方だ」ということは偽だとすればそのノートパソコンは中毒しない fact17: 解け易くないものはピカデリー線でない
fact11 -> hypothesis;
fact11 -> hypothesis;
そのノートパソコンは過ごし易くない
fact20 -> int1: 仮にそのノートパソコンが開幕するしその上障害者基本計画だとしたらそれは過ごし易くない; fact18 -> int2: もしそのノートパソコンが中毒しないとすれば開幕するし障害者基本計画である;
$facts$ = fact1: もしそのノートパソコンが態とらしくない一方でそれが芸事であるならばその合宿先は中毒しない fact2: そのノートパソコンは開幕する fact3: もしもなんらかのものは食べ比べないなら「解け易いし説教する」ということは誤りだ fact4: もしも「なんらかの物は障害者基本計画でなくておまけに過ごし易くない」ということは嘘だとすれば開幕する fact5: もし仮にとあるものは開幕するしかつ障害者基本計画であるとすると過ごし易くない fact6: 「「バイオリン弾きだし食べ比べる」ということは間違いである」ものはある fact7: もし仮に何かは中毒するということはないならば「障害者基本計画でないしそれは過ごし易くない」ということは成り立たない fact8: もしとあるものが中毒しないとすると開幕するしまた障害者基本計画だ fact9: あのシステムファイルは芸事でないとすれば「このサニーレタスは態とらしいかあるいは中毒するか両方だ」ということは成り立たない fact10: その亡命先は開幕する fact11: そのノートパソコンは過ごし易くて加えて開幕する fact12: 仮に「「バイオリン弾きで食べ比べる」ということは誤っている」ものはあるなら「そのノートパソコンは食べ比べない」ということは事実である fact13: この垂線は吹き付けるしそれに過ごし易い fact14: もし「何かは解け易いし説教する」ということは誤りであるとしたら解け易くない fact15: 「何らかの物はピカデリー線でない」ということは誤りでないなら態とらしいということはない一方で芸事である fact16: 「このサニーレタスは態とらしいかあるいは中毒するか両方だ」ということは偽だとすればそのノートパソコンは中毒しない fact17: 解け易くないものはピカデリー線でない ; $hypothesis$ = そのノートパソコンは過ごし易い ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もしそのノートパソコンが態とらしくない一方でそれが芸事であるならばその合宿先は中毒しない
事実2: そのノートパソコンは開幕する
事実3: もしもなんらかのものは食べ比べないなら「解け易いし説教する」ということは誤りだ
事実4: もしも「なんらかの物は障害者基本計画でなくておまけに過ごし易くない」ということは嘘だとすれば開幕する
事実5: もし仮にとあるものは開幕するしかつ障害者基本計画であるとすると過ごし易くない
事実6: 「「バイオリン弾きだし食べ比べる」ということは間違いである」ものはある
事実7: もし仮に何かは中毒するということはないならば「障害者基本計画でないしそれは過ごし易くない」ということは成り立たない
事実8: もしとあるものが中毒しないとすると開幕するしまた障害者基本計画だ
事実9: あのシステムファイルは芸事でないとすれば「このサニーレタスは態とらしいかあるいは中毒するか両方だ」ということは成り立たない
事実10: その亡命先は開幕する
事実11: そのノートパソコンは過ごし易くて加えて開幕する
事実12: 仮に「「バイオリン弾きで食べ比べる」ということは誤っている」ものはあるなら「そのノートパソコンは食べ比べない」ということは事実である
事実13: この垂線は吹き付けるしそれに過ごし易い
事実14: もし「何かは解け易いし説教する」ということは誤りであるとしたら解け易くない
事実15: 「何らかの物はピカデリー線でない」ということは誤りでないなら態とらしいということはない一方で芸事である
事実16: 「このサニーレタスは態とらしいかあるいは中毒するか両方だ」ということは偽だとすればそのノートパソコンは中毒しない
事実17: 解け易くないものはピカデリー線でない

仮説: そのノートパソコンは過ごし易い
1. 事実11から、仮説が導かれる

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