この食事時はゴロだ
fact1: もし仮に「なにがしかのものは操作し易い」ということは真実であるとすればそれは口煩い fact2: もし仮になにがしかのものは債務額だとすると「それは分け入る」ということは成り立つ fact3: その生まれ故郷は倹しいしおまけにそれはアストロサイトだ fact4: 「なんらかのものは賢いがしかし高山病でない」ということは成り立たないならそれは容貌等でない fact5: なんらかの物は操作し易くないならばゴロだ fact6: その生まれ故郷は築き難い fact7: この食事時はアメリカらしくない fact8: 「「ゴロであるしそれに操作し易い」ということは事実と異なる」物はある fact9: 「「発育出来るし取り組み状況である」ということは成り立つということはない」ものはある fact10: もし仮にあの関所が口煩いということはないか風俗秩序であるとすればこのティーチャーは口煩くない fact11: 仮にこのティーチャーは操作し易いなら「ゴロである」ということは事実である fact12: もしも何らかのものが発育出来ないとするとこのティーチャーは操作し易い fact13: もしも馬鹿馬鹿しいものがボディガード達でないとすればそれは口煩くない fact14: このティーチャーが口煩いとするとこの食事時はゴロでない fact15: その生まれ故郷が築き難くてアストロサイトであるならその独り者は心細くない fact16: 仮にこのティーチャーが操作し易いということはないがゴロであるならあの物流企業はゴロだ fact17: 仮にこのティーチャーが操作し易いがしかしボディガード達でないならばこの食事時は操作し易くない fact18: とあるものは発育出来るしそれは取り組み状況だ fact19: 「もし「「「発育出来るし加えて取り組み状況である」ということは成り立つ」ということは間違っている」物はあるとすれば「このティーチャーは操作し易い」ということは本当である」ということは本当だ fact20: 仮にあるものは心細くないならば「それは賢いけど高山病でない」ということは成り立たない fact21: もし仮に何かは容貌等でないなら「それは曲芸でないけれど馬鹿馬鹿しい」ということは成り立たない fact22: もしも「とある物は曲芸だということはないが馬鹿馬鹿しい」ということは事実と異なるとすると馬鹿馬鹿しかない
fact9 & fact19 -> int1: このティーチャーは操作し易い; fact1 -> int2: もし仮にこのティーチャーが操作し易いならば口煩い; int1 & int2 -> int3: このティーチャーは口煩い; int3 & fact14 -> hypothesis;
あの物流企業はゴロだ
fact24 -> int4: もし仮にこのティーチャーは馬鹿馬鹿しいけれどボディガード達でないとするとそれは口煩くない;
$facts$ = fact1: もし仮に「なにがしかのものは操作し易い」ということは真実であるとすればそれは口煩い fact2: もし仮になにがしかのものは債務額だとすると「それは分け入る」ということは成り立つ fact3: その生まれ故郷は倹しいしおまけにそれはアストロサイトだ fact4: 「なんらかのものは賢いがしかし高山病でない」ということは成り立たないならそれは容貌等でない fact5: なんらかの物は操作し易くないならばゴロだ fact6: その生まれ故郷は築き難い fact7: この食事時はアメリカらしくない fact8: 「「ゴロであるしそれに操作し易い」ということは事実と異なる」物はある fact9: 「「発育出来るし取り組み状況である」ということは成り立つということはない」ものはある fact10: もし仮にあの関所が口煩いということはないか風俗秩序であるとすればこのティーチャーは口煩くない fact11: 仮にこのティーチャーは操作し易いなら「ゴロである」ということは事実である fact12: もしも何らかのものが発育出来ないとするとこのティーチャーは操作し易い fact13: もしも馬鹿馬鹿しいものがボディガード達でないとすればそれは口煩くない fact14: このティーチャーが口煩いとするとこの食事時はゴロでない fact15: その生まれ故郷が築き難くてアストロサイトであるならその独り者は心細くない fact16: 仮にこのティーチャーが操作し易いということはないがゴロであるならあの物流企業はゴロだ fact17: 仮にこのティーチャーが操作し易いがしかしボディガード達でないならばこの食事時は操作し易くない fact18: とあるものは発育出来るしそれは取り組み状況だ fact19: 「もし「「「発育出来るし加えて取り組み状況である」ということは成り立つ」ということは間違っている」物はあるとすれば「このティーチャーは操作し易い」ということは本当である」ということは本当だ fact20: 仮にあるものは心細くないならば「それは賢いけど高山病でない」ということは成り立たない fact21: もし仮に何かは容貌等でないなら「それは曲芸でないけれど馬鹿馬鹿しい」ということは成り立たない fact22: もしも「とある物は曲芸だということはないが馬鹿馬鹿しい」ということは事実と異なるとすると馬鹿馬鹿しかない ; $hypothesis$ = この食事時はゴロだ ; $proof$ = 
fact9 & fact19 -> int1: このティーチャーは操作し易い; fact1 -> int2: もし仮にこのティーチャーが操作し易いならば口煩い; int1 & int2 -> int3: このティーチャーは口煩い; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかのものは操作し易い」ということは真実であるとすればそれは口煩い
事実2: もし仮になにがしかのものは債務額だとすると「それは分け入る」ということは成り立つ
事実3: その生まれ故郷は倹しいしおまけにそれはアストロサイトだ
事実4: 「なんらかのものは賢いがしかし高山病でない」ということは成り立たないならそれは容貌等でない
事実5: なんらかの物は操作し易くないならばゴロだ
事実6: その生まれ故郷は築き難い
事実7: この食事時はアメリカらしくない
事実8: 「「ゴロであるしそれに操作し易い」ということは事実と異なる」物はある
事実9: 「「発育出来るし取り組み状況である」ということは成り立つということはない」ものはある
事実10: もし仮にあの関所が口煩いということはないか風俗秩序であるとすればこのティーチャーは口煩くない
事実11: 仮にこのティーチャーは操作し易いなら「ゴロである」ということは事実である
事実12: もしも何らかのものが発育出来ないとするとこのティーチャーは操作し易い
事実13: もしも馬鹿馬鹿しいものがボディガード達でないとすればそれは口煩くない
事実14: このティーチャーが口煩いとするとこの食事時はゴロでない
事実15: その生まれ故郷が築き難くてアストロサイトであるならその独り者は心細くない
事実16: 仮にこのティーチャーが操作し易いということはないがゴロであるならあの物流企業はゴロだ
事実17: 仮にこのティーチャーが操作し易いがしかしボディガード達でないならばこの食事時は操作し易くない
事実18: とあるものは発育出来るしそれは取り組み状況だ
事実19: 「もし「「「発育出来るし加えて取り組み状況である」ということは成り立つ」ということは間違っている」物はあるとすれば「このティーチャーは操作し易い」ということは本当である」ということは本当だ
事実20: 仮にあるものは心細くないならば「それは賢いけど高山病でない」ということは成り立たない
事実21: もし仮に何かは容貌等でないなら「それは曲芸でないけれど馬鹿馬鹿しい」ということは成り立たない
事実22: もしも「とある物は曲芸だということはないが馬鹿馬鹿しい」ということは事実と異なるとすると馬鹿馬鹿しかない

仮説: この食事時はゴロだ
1. 事実9と事実19から、推論1: "このティーチャーは操作し易い"が導かれる
2. 事実1から、推論2: "もし仮にこのティーチャーが操作し易いならば口煩い"が導かれる
3. 推論1と推論2から、推論3: "このティーチャーは口煩い"が導かれる
4. 推論3と事実14から、仮説が否定される

よって、仮説が否定されました。