あの仏教界は励み為さらない
fact1: あの仏教界は矯正する fact2: もしもこのピースサインが脱ぎ始めれば使用し易い fact3: 全てのものは恐ろしい fact4: 恐ろしいものはたわいないがしかし気安くない fact5: あのＮＨＫ大河ドラマは励み為さる fact6: あの仏教界はミクロである fact7: あの仏教界は使用し易い fact8: たわいない物が気安くないとしたらけばけばしくない fact9: 仮に「けばけばしくない」物があればその期日調書等は言論界だしまた使用し易い fact10: 仮にあの仏教界が使用し易いとすればそれは励み為さる
fact10 & fact7 -> hypothesis;
fact10 & fact7 -> hypothesis;
その期日調書等は励み為さる
fact13 -> int1: もしあの仏教界がたわいないがしかしそれが気安くないならばそれはけばけばしくない; fact11 -> int2: このＡＳ〜ＡＳは恐ろしい; fact14 -> int3: もしこのＡＳ〜ＡＳが恐ろしいならそれはたわいないが気安いということはない; int2 & int3 -> int4: このＡＳ〜ＡＳはたわいないけれど気安くない; int4 -> int5: 「何もかもはたわいないしまた気安くない」ということは正しい; int5 -> int6: あの仏教界はたわいないがしかし気安いということはない; int1 & int6 -> int7: あの仏教界はけばけばしくない; int7 -> int8: 何らかの物はけばけばしいということはない; fact12 & int8 -> int9: その期日調書等は言論界でそれに使用し易い; int9 -> int10: その期日調書等は使用し易い;
$facts$ = fact1: あの仏教界は矯正する fact2: もしもこのピースサインが脱ぎ始めれば使用し易い fact3: 全てのものは恐ろしい fact4: 恐ろしいものはたわいないがしかし気安くない fact5: あのＮＨＫ大河ドラマは励み為さる fact6: あの仏教界はミクロである fact7: あの仏教界は使用し易い fact8: たわいない物が気安くないとしたらけばけばしくない fact9: 仮に「けばけばしくない」物があればその期日調書等は言論界だしまた使用し易い fact10: 仮にあの仏教界が使用し易いとすればそれは励み為さる ; $hypothesis$ = あの仏教界は励み為さらない ; $proof$ = 
fact10 & fact7 -> hypothesis; __DISPROVED__
事実1: あの仏教界は矯正する
事実2: もしもこのピースサインが脱ぎ始めれば使用し易い
事実3: 全てのものは恐ろしい
事実4: 恐ろしいものはたわいないがしかし気安くない
事実5: あのＮＨＫ大河ドラマは励み為さる
事実6: あの仏教界はミクロである
事実7: あの仏教界は使用し易い
事実8: たわいない物が気安くないとしたらけばけばしくない
事実9: 仮に「けばけばしくない」物があればその期日調書等は言論界だしまた使用し易い
事実10: 仮にあの仏教界が使用し易いとすればそれは励み為さる

仮説: あの仏教界は励み為さらない
1. 事実10と事実7から、仮説が否定される

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