あの弁済計画は誰かさんである
fact1: あの弁済計画は吝い fact2: あのＰＡＯは求愛する fact3: あの変化幅は残り難い fact4: 「あのＰＡＯは言い易い」ということは本当だ fact5: あの弁済計画は態とらしい fact6: その窒素ガスが閲覧・謄写権でないならばその先行者は誰かさんであるしそれに西人である fact7: もしもあの弁済計画が粘っこいとしたらその先行者は粘っこい fact8: 仮に「残り難い」ものがあるとするとその拡張工事は粘っこいかまたはそれは残り難いかあるいは両方だ fact9: あの弁済計画は残り難い fact10: 仮になにがしかのものは沸き返らないが訝しいならば同前古典選書である fact11: あの弁済計画は西人だ fact12: この平安京は宣戦するしまた残り難い fact13: もしもあのＰＡＯが言い易いしまた同前古典選書であるとすればその窒素ガスは閲覧・謄写権でない fact14: なにかは求愛するならそれは中抜き屋である fact15: もし仮に閲覧・謄写権が残り難いとすると誰かさんでない fact16: もしその拡張工事が誰かさんであるとしたらあの弁済計画は誰かさんである fact17: 仮にあの弁済計画は西人であるならばそれは閲覧・謄写権だ fact18: あの国際連合は誰かさんだ fact19: 仮にあのＰＡＯが中抜き屋だとするとそれは沸き返らなくてかつ訝しい
fact17 & fact11 -> int1: あの弁済計画は閲覧・謄写権である; int1 & fact9 -> int2: あの弁済計画は閲覧・謄写権で加えて残り難い; fact15 -> int3: もしもあの弁済計画は閲覧・謄写権であるし加えて残り難いとすればそれは誰かさんでない; int2 & int3 -> hypothesis;
fact17 & fact11 -> int1: {B}{a}; int1 & fact9 -> int2: ({B}{a} & {C}{a}); fact15 -> int3: ({B}{a} & {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
あの弁済計画は誰かさんだ
$facts$ = fact1: あの弁済計画は吝い fact2: あのＰＡＯは求愛する fact3: あの変化幅は残り難い fact4: 「あのＰＡＯは言い易い」ということは本当だ fact5: あの弁済計画は態とらしい fact6: その窒素ガスが閲覧・謄写権でないならばその先行者は誰かさんであるしそれに西人である fact7: もしもあの弁済計画が粘っこいとしたらその先行者は粘っこい fact8: 仮に「残り難い」ものがあるとするとその拡張工事は粘っこいかまたはそれは残り難いかあるいは両方だ fact9: あの弁済計画は残り難い fact10: 仮になにがしかのものは沸き返らないが訝しいならば同前古典選書である fact11: あの弁済計画は西人だ fact12: この平安京は宣戦するしまた残り難い fact13: もしもあのＰＡＯが言い易いしまた同前古典選書であるとすればその窒素ガスは閲覧・謄写権でない fact14: なにかは求愛するならそれは中抜き屋である fact15: もし仮に閲覧・謄写権が残り難いとすると誰かさんでない fact16: もしその拡張工事が誰かさんであるとしたらあの弁済計画は誰かさんである fact17: 仮にあの弁済計画は西人であるならばそれは閲覧・謄写権だ fact18: あの国際連合は誰かさんだ fact19: 仮にあのＰＡＯが中抜き屋だとするとそれは沸き返らなくてかつ訝しい ; $hypothesis$ = あの弁済計画は誰かさんである ; $proof$ = 
fact17 & fact11 -> int1: あの弁済計画は閲覧・謄写権である; int1 & fact9 -> int2: あの弁済計画は閲覧・謄写権で加えて残り難い; fact15 -> int3: もしもあの弁済計画は閲覧・謄写権であるし加えて残り難いとすればそれは誰かさんでない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの弁済計画は吝い
事実2: あのＰＡＯは求愛する
事実3: あの変化幅は残り難い
事実4: 「あのＰＡＯは言い易い」ということは本当だ
事実5: あの弁済計画は態とらしい
事実6: その窒素ガスが閲覧・謄写権でないならばその先行者は誰かさんであるしそれに西人である
事実7: もしもあの弁済計画が粘っこいとしたらその先行者は粘っこい
事実8: 仮に「残り難い」ものがあるとするとその拡張工事は粘っこいかまたはそれは残り難いかあるいは両方だ
事実9: あの弁済計画は残り難い
事実10: 仮になにがしかのものは沸き返らないが訝しいならば同前古典選書である
事実11: あの弁済計画は西人だ
事実12: この平安京は宣戦するしまた残り難い
事実13: もしもあのＰＡＯが言い易いしまた同前古典選書であるとすればその窒素ガスは閲覧・謄写権でない
事実14: なにかは求愛するならそれは中抜き屋である
事実15: もし仮に閲覧・謄写権が残り難いとすると誰かさんでない
事実16: もしその拡張工事が誰かさんであるとしたらあの弁済計画は誰かさんである
事実17: 仮にあの弁済計画は西人であるならばそれは閲覧・謄写権だ
事実18: あの国際連合は誰かさんだ
事実19: 仮にあのＰＡＯが中抜き屋だとするとそれは沸き返らなくてかつ訝しい

仮説: あの弁済計画は誰かさんである
1. 事実17と事実11から、推論1: "あの弁済計画は閲覧・謄写権である"が導かれる
2. 推論1と事実9から、推論2: "あの弁済計画は閲覧・謄写権で加えて残り難い"が導かれる
3. 事実15から、推論3: "もしもあの弁済計画は閲覧・謄写権であるし加えて残り難いとすればそれは誰かさんでない"が導かれる
4. 推論2と推論3から、仮説が否定される

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