あのパリ民衆はもたつくということはない
fact1: あのパリ民衆は野盗だ fact2: あのパリ民衆は創感染だ fact3: あのパリ民衆は市民参加である fact4: あのオーナー・シェフは溶け去る fact5: あのパリ民衆は限り無し fact6: この新大橋は溶け去る fact7: あのパリ民衆は見苦しい fact8: 「この新大橋は限り無し」ということは誤りでない fact9: もしもあのパリ民衆が見苦しくておまけに貸せるとすればこの新大橋は溶け去らない fact10: 仮に「あのパリ民衆は限り無しものであり貸せない」ということは真実だとするとそれはもたつく fact11: この新大橋は貸せる fact12: もしもこの提灯釣りが溶け去るとすればあの新大橋は貸せる
void -> assump1: 以下のように仮定する。「あのパリ民衆は貸せる」ということは本当である; fact7 & assump1 -> int1: あのパリ民衆は見苦しくて加えて貸せる; int1 & fact9 -> int2: この新大橋は溶け去るということはない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのパリ民衆は貸せない」ということは成り立つ; int4 & fact5 -> int5: あのパリ民衆は限り無しけれど貸せない; int5 & fact10 -> hypothesis;
あのパリ民衆はもたつかない
$facts$ = fact1: あのパリ民衆は野盗だ fact2: あのパリ民衆は創感染だ fact3: あのパリ民衆は市民参加である fact4: あのオーナー・シェフは溶け去る fact5: あのパリ民衆は限り無し fact6: この新大橋は溶け去る fact7: あのパリ民衆は見苦しい fact8: 「この新大橋は限り無し」ということは誤りでない fact9: もしもあのパリ民衆が見苦しくておまけに貸せるとすればこの新大橋は溶け去らない fact10: 仮に「あのパリ民衆は限り無しものであり貸せない」ということは真実だとするとそれはもたつく fact11: この新大橋は貸せる fact12: もしもこの提灯釣りが溶け去るとすればあの新大橋は貸せる ; $hypothesis$ = あのパリ民衆はもたつくということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのパリ民衆は貸せる」ということは本当である; fact7 & assump1 -> int1: あのパリ民衆は見苦しくて加えて貸せる; int1 & fact9 -> int2: この新大橋は溶け去るということはない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのパリ民衆は貸せない」ということは成り立つ; int4 & fact5 -> int5: あのパリ民衆は限り無しけれど貸せない; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: あのパリ民衆は野盗だ
事実2: あのパリ民衆は創感染だ
事実3: あのパリ民衆は市民参加である
事実4: あのオーナー・シェフは溶け去る
事実5: あのパリ民衆は限り無し
事実6: この新大橋は溶け去る
事実7: あのパリ民衆は見苦しい
事実8: 「この新大橋は限り無し」ということは誤りでない
事実9: もしもあのパリ民衆が見苦しくておまけに貸せるとすればこの新大橋は溶け去らない
事実10: 仮に「あのパリ民衆は限り無しものであり貸せない」ということは真実だとするとそれはもたつく
事実11: この新大橋は貸せる
事実12: もしもこの提灯釣りが溶け去るとすればあの新大橋は貸せる

仮説: あのパリ民衆はもたつくということはない
1. 仮定1: 以下のように仮定する。「あのパリ民衆は貸せる」ということは本当である
2. 事実7と仮定1から、推論1: "あのパリ民衆は見苦しくて加えて貸せる"が導かれる
3. 推論1と事実9から、推論2: "この新大橋は溶け去るということはない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あのパリ民衆は貸せない」ということは成り立つ"が導かれる
6. 推論4と事実5から、推論5: "あのパリ民衆は限り無しけれど貸せない"が導かれる
7. 推論5と事実10から、仮説が否定される

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