この場は透見する
fact1: もし「この場はセクトであるかもしくは頼み難いかあるいは両方である」ということは成り立たないとすると透見しない fact2: もし仮にこの場が入れ易いし弁当店であるならばそれは誇らしくない fact3: この場が透見する一方で堪り過ぎないならその多世界論は透見しない fact4: もしも「そのチェンバロ曲は入れ易いがしかしクルド民族主義者でない」ということは嘘であるとすると入れ易いということはない fact5: もしもこの場は堪り過ぎるということはないならば「セクトであるか頼み難いかもしくはどちらもだ」ということは成り立つということはない fact6: そのカスタードプリンは堪り過ぎない fact7: この場は頼み難くない fact8: もし「「この関東Ｇ組は堪り過ぎるかまたはそれは生まれ難い」ということは成り立つ」ということは成り立たないとすればそれは誇らしくない fact9: この場は堪り過ぎない fact10: 誇らしくないものは堪り過ぎるしかつ透見する fact11: 仮に「この記者発表は誇らしくないしおまけにそれは弁当店でない」ということは嘘であるならこの場は誇らしくない fact12: 仮に「この場は堪り過ぎない」ということは本当であるとしたら頼み難くない
fact5 & fact9 -> int1: 「この場はセクトであるかもしくはそれは頼み難いかあるいは両方である」ということは成り立たない; int1 & fact1 -> hypothesis;
「この場は透見する」ということは事実である
fact14 -> int2: もしこの場が誇らしくないとしたら堪り過ぎるししかも透見する;
$facts$ = fact1: もし「この場はセクトであるかもしくは頼み難いかあるいは両方である」ということは成り立たないとすると透見しない fact2: もし仮にこの場が入れ易いし弁当店であるならばそれは誇らしくない fact3: この場が透見する一方で堪り過ぎないならその多世界論は透見しない fact4: もしも「そのチェンバロ曲は入れ易いがしかしクルド民族主義者でない」ということは嘘であるとすると入れ易いということはない fact5: もしもこの場は堪り過ぎるということはないならば「セクトであるか頼み難いかもしくはどちらもだ」ということは成り立つということはない fact6: そのカスタードプリンは堪り過ぎない fact7: この場は頼み難くない fact8: もし「「この関東Ｇ組は堪り過ぎるかまたはそれは生まれ難い」ということは成り立つ」ということは成り立たないとすればそれは誇らしくない fact9: この場は堪り過ぎない fact10: 誇らしくないものは堪り過ぎるしかつ透見する fact11: 仮に「この記者発表は誇らしくないしおまけにそれは弁当店でない」ということは嘘であるならこの場は誇らしくない fact12: 仮に「この場は堪り過ぎない」ということは本当であるとしたら頼み難くない ; $hypothesis$ = この場は透見する ; $proof$ = 
fact5 & fact9 -> int1: 「この場はセクトであるかもしくはそれは頼み難いかあるいは両方である」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「この場はセクトであるかもしくは頼み難いかあるいは両方である」ということは成り立たないとすると透見しない
事実2: もし仮にこの場が入れ易いし弁当店であるならばそれは誇らしくない
事実3: この場が透見する一方で堪り過ぎないならその多世界論は透見しない
事実4: もしも「そのチェンバロ曲は入れ易いがしかしクルド民族主義者でない」ということは嘘であるとすると入れ易いということはない
事実5: もしもこの場は堪り過ぎるということはないならば「セクトであるか頼み難いかもしくはどちらもだ」ということは成り立つということはない
事実6: そのカスタードプリンは堪り過ぎない
事実7: この場は頼み難くない
事実8: もし「「この関東Ｇ組は堪り過ぎるかまたはそれは生まれ難い」ということは成り立つ」ということは成り立たないとすればそれは誇らしくない
事実9: この場は堪り過ぎない
事実10: 誇らしくないものは堪り過ぎるしかつ透見する
事実11: 仮に「この記者発表は誇らしくないしおまけにそれは弁当店でない」ということは嘘であるならこの場は誇らしくない
事実12: 仮に「この場は堪り過ぎない」ということは本当であるとしたら頼み難くない

仮説: この場は透見する
1. 事実5と事実9から、推論1: "「この場はセクトであるかもしくはそれは頼み難いかあるいは両方である」ということは成り立たない"が導かれる
2. 推論1と事実1から、仮説が否定される

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