あの仏法僧は世尊である
fact1: もしもあの仏法僧は金賞であるしそれに歩み続けるとすれば世尊だということはない fact2: 仮に「あの私的空間は抱き締めないかもしくはそれは誘発し易い」ということは間違いでないならばあの芥子栗鼠は誘発し易い fact3: 「あの仏法僧は歩み続ける」ということは成り立つ fact4: もしとあるものは自然談話でないとすれば「それはちぎれるし加えてそれは歩み続ける」ということは事実と異なる fact5: 誘発し易い物はぴんぴんしないが探し易い fact6: 仮に「あるものは歩み続けないか金賞でないかあるいは両方ともだ」ということは成り立つということはないとすると裁判実務大系でない fact7: もしあの免疫染色が世尊でない一方でそれが金賞であるとすればあの仏法僧は世尊だ fact8: もし「あの芥子栗鼠は裁判実務大系だということはない」ということは真実であるとするとあの免疫染色は世尊でないけれどそれは金賞だ fact9: もしなんらかのものはぴんぴんするということはない一方で探し易いなら「自然談話でない」ということは本当だ fact10: 「なにがしかのものはちぎれるししかも歩み続ける」ということは成り立たないとすればそれは裁判実務大系でない fact11: 仮にあの私的空間が阻まないなら誘発し易いしおまけに携帯メールである fact12: あの仏法僧は裁判実務大系でない fact13: あの仏法僧は金賞であるが裁判実務大系であるということはない fact14: もしもこの一因が各化学成分濃度であるしそれに切ないとするとややこしくない
fact13 -> int1: あの仏法僧は金賞である; int1 & fact3 -> int2: あの仏法僧は金賞であるしさらに歩み続ける; int2 & fact1 -> hypothesis;
fact13 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact1 -> hypothesis;
そのデフォルト変数は裁判実務大系でない
fact15 -> int3: 「そのデフォルト変数は歩み続けるということはないかあるいは金賞でない」ということは成り立たないとすればそれは裁判実務大系でない;
$facts$ = fact1: もしもあの仏法僧は金賞であるしそれに歩み続けるとすれば世尊だということはない fact2: 仮に「あの私的空間は抱き締めないかもしくはそれは誘発し易い」ということは間違いでないならばあの芥子栗鼠は誘発し易い fact3: 「あの仏法僧は歩み続ける」ということは成り立つ fact4: もしとあるものは自然談話でないとすれば「それはちぎれるし加えてそれは歩み続ける」ということは事実と異なる fact5: 誘発し易い物はぴんぴんしないが探し易い fact6: 仮に「あるものは歩み続けないか金賞でないかあるいは両方ともだ」ということは成り立つということはないとすると裁判実務大系でない fact7: もしあの免疫染色が世尊でない一方でそれが金賞であるとすればあの仏法僧は世尊だ fact8: もし「あの芥子栗鼠は裁判実務大系だということはない」ということは真実であるとするとあの免疫染色は世尊でないけれどそれは金賞だ fact9: もしなんらかのものはぴんぴんするということはない一方で探し易いなら「自然談話でない」ということは本当だ fact10: 「なにがしかのものはちぎれるししかも歩み続ける」ということは成り立たないとすればそれは裁判実務大系でない fact11: 仮にあの私的空間が阻まないなら誘発し易いしおまけに携帯メールである fact12: あの仏法僧は裁判実務大系でない fact13: あの仏法僧は金賞であるが裁判実務大系であるということはない fact14: もしもこの一因が各化学成分濃度であるしそれに切ないとするとややこしくない ; $hypothesis$ = あの仏法僧は世尊である ; $proof$ = 
fact13 -> int1: あの仏法僧は金賞である; int1 & fact3 -> int2: あの仏法僧は金賞であるしさらに歩み続ける; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもあの仏法僧は金賞であるしそれに歩み続けるとすれば世尊だということはない
事実2: 仮に「あの私的空間は抱き締めないかもしくはそれは誘発し易い」ということは間違いでないならばあの芥子栗鼠は誘発し易い
事実3: 「あの仏法僧は歩み続ける」ということは成り立つ
事実4: もしとあるものは自然談話でないとすれば「それはちぎれるし加えてそれは歩み続ける」ということは事実と異なる
事実5: 誘発し易い物はぴんぴんしないが探し易い
事実6: 仮に「あるものは歩み続けないか金賞でないかあるいは両方ともだ」ということは成り立つということはないとすると裁判実務大系でない
事実7: もしあの免疫染色が世尊でない一方でそれが金賞であるとすればあの仏法僧は世尊だ
事実8: もし「あの芥子栗鼠は裁判実務大系だということはない」ということは真実であるとするとあの免疫染色は世尊でないけれどそれは金賞だ
事実9: もしなんらかのものはぴんぴんするということはない一方で探し易いなら「自然談話でない」ということは本当だ
事実10: 「なにがしかのものはちぎれるししかも歩み続ける」ということは成り立たないとすればそれは裁判実務大系でない
事実11: 仮にあの私的空間が阻まないなら誘発し易いしおまけに携帯メールである
事実12: あの仏法僧は裁判実務大系でない
事実13: あの仏法僧は金賞であるが裁判実務大系であるということはない
事実14: もしもこの一因が各化学成分濃度であるしそれに切ないとするとややこしくない

仮説: あの仏法僧は世尊である
1. 事実13から、推論1: "あの仏法僧は金賞である"が導かれる
2. 推論1と事実3から、推論2: "あの仏法僧は金賞であるしさらに歩み続ける"が導かれる
3. 推論2と事実1から、仮説が否定される

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