このインテリアは愚かしい
fact1: もしも「肺門でない」物はあるなら「このインテリアが騒々しいしその上それは愚かしい」ということは間違っている fact2: なんらかの物は意地悪い fact3: 騒々しい肺門は総加増・地方直しだということはない fact4: このインテリアは御辛いし糖尿病性合併症である fact5: 「この身着は肺門である」ということは成り立つ fact6: もし仮に「何らかのものはグループ分けするけどそれは収縮率だということはない」ということは成り立たないならば一昨日だということはない fact7: 「仮に何かは気まずくて一定比率であるとすると「それは危惧するということはない」ということは確かである」ということは成り立つ fact8: 「糖尿病性合併症な」ものはある fact9: この身着は騒々しい fact10: 仮になんらかのものは総加増・地方直しでないなら「このインテリアは糖尿病性合併症だがそれは下付しない」ということは誤りだ fact11: 「この身着は肺門で糖尿病性合併症だ」ということは間違いである fact12: 「なにかは糖尿病性合併症であるけど下付するということはない」ということは成り立たないなら愚かしくない
fact5 & fact9 -> int1: この身着が肺門だしまた騒々しい; fact3 -> int2: もしこの身着が肺門だし騒々しいとすればそれは総加増・地方直しでない; int1 & int2 -> int3: この身着は総加増・地方直しでない; int3 -> int4: 「「総加増・地方直しでない」ということは本当である」物はある; int4 & fact10 -> int5: 「「このインテリアは糖尿病性合併症だ一方で下付しない」ということは間違っている」ということは偽でない; fact12 -> int6: もしも「このインテリアは糖尿病性合併症だけれど下付するということはない」ということは誤りならば愚かしくない; int5 & int6 -> hypothesis;
このインテリアは愚かしい
$facts$ = fact1: もしも「肺門でない」物はあるなら「このインテリアが騒々しいしその上それは愚かしい」ということは間違っている fact2: なんらかの物は意地悪い fact3: 騒々しい肺門は総加増・地方直しだということはない fact4: このインテリアは御辛いし糖尿病性合併症である fact5: 「この身着は肺門である」ということは成り立つ fact6: もし仮に「何らかのものはグループ分けするけどそれは収縮率だということはない」ということは成り立たないならば一昨日だということはない fact7: 「仮に何かは気まずくて一定比率であるとすると「それは危惧するということはない」ということは確かである」ということは成り立つ fact8: 「糖尿病性合併症な」ものはある fact9: この身着は騒々しい fact10: 仮になんらかのものは総加増・地方直しでないなら「このインテリアは糖尿病性合併症だがそれは下付しない」ということは誤りだ fact11: 「この身着は肺門で糖尿病性合併症だ」ということは間違いである fact12: 「なにかは糖尿病性合併症であるけど下付するということはない」ということは成り立たないなら愚かしくない ; $hypothesis$ = このインテリアは愚かしい ; $proof$ = 
fact5 & fact9 -> int1: この身着が肺門だしまた騒々しい; fact3 -> int2: もしこの身着が肺門だし騒々しいとすればそれは総加増・地方直しでない; int1 & int2 -> int3: この身着は総加増・地方直しでない; int3 -> int4: 「「総加増・地方直しでない」ということは本当である」物はある; int4 & fact10 -> int5: 「「このインテリアは糖尿病性合併症だ一方で下付しない」ということは間違っている」ということは偽でない; fact12 -> int6: もしも「このインテリアは糖尿病性合併症だけれど下付するということはない」ということは誤りならば愚かしくない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしも「肺門でない」物はあるなら「このインテリアが騒々しいしその上それは愚かしい」ということは間違っている
事実2: なんらかの物は意地悪い
事実3: 騒々しい肺門は総加増・地方直しだということはない
事実4: このインテリアは御辛いし糖尿病性合併症である
事実5: 「この身着は肺門である」ということは成り立つ
事実6: もし仮に「何らかのものはグループ分けするけどそれは収縮率だということはない」ということは成り立たないならば一昨日だということはない
事実7: 「仮に何かは気まずくて一定比率であるとすると「それは危惧するということはない」ということは確かである」ということは成り立つ
事実8: 「糖尿病性合併症な」ものはある
事実9: この身着は騒々しい
事実10: 仮になんらかのものは総加増・地方直しでないなら「このインテリアは糖尿病性合併症だがそれは下付しない」ということは誤りだ
事実11: 「この身着は肺門で糖尿病性合併症だ」ということは間違いである
事実12: 「なにかは糖尿病性合併症であるけど下付するということはない」ということは成り立たないなら愚かしくない

仮説: このインテリアは愚かしい
1. 事実5と事実9から、推論1: "この身着が肺門だしまた騒々しい"が導かれる
2. 事実3から、推論2: "もしこの身着が肺門だし騒々しいとすればそれは総加増・地方直しでない"が導かれる
3. 推論1と推論2から、推論3: "この身着は総加増・地方直しでない"が導かれる
4. 推論3から、推論4: "「「総加増・地方直しでない」ということは本当である」物はある"が導かれる
5. 推論4と事実10から、推論5: "「「このインテリアは糖尿病性合併症だ一方で下付しない」ということは間違っている」ということは偽でない"が導かれる
6. 事実12から、推論6: "もしも「このインテリアは糖尿病性合併症だけれど下付するということはない」ということは誤りならば愚かしくない"が導かれる
7. 推論5と推論6から、仮説が否定される

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