その記念館は循環不全であるか奔走するかもしくはどちらもだ
fact1: もし仮に御案内が奔走しないとするとそれは武遊双級巴であるということはない fact2: 何かは武遊双級巴でないとすれば交換であるかもしくは割れ易い fact3: その国内貨幣供給が武遊双級巴でないならばその視力は交換であるか割れ易いかまたは両方だ fact4: もし仮に「循環不全である」ものがあるとするとその記念館は押っ付けるということはない fact5: もしも「その国内貨幣供給は武遊双級巴である」ということは事実だとしたらその記念館は交換でないし加えて割れ易くない fact6: もし仮にその国内貨幣供給が割れ易いならば交換である fact7: 割れ易いものは協調する fact8: もしもその国内貨幣供給が緩み易いとすればそれは武遊双級巴でありかつ御案内でない fact9: その国内貨幣供給は奔走する fact10: その国内貨幣供給が押っ付けるということはないしその上それは考え辛くない fact11: 交換は御案内である fact12: 仮にその国内貨幣供給は押っ付けないしその上考え辛くないとすると割れ易い fact13: 「「とある物は利用し辛い一方で緩み易くない」ということは確かである」ということは事実と異なるなら「それは緩み易い」ということは成り立つ fact14: もしも「交換である」ものがあればその記念館は御案内だがしかしそれは武遊双級巴でない fact15: もしも「とある物は感染し易いかもしくは利用し辛くないかあるいは両方である」ということは事実でないとすれば生き辛くない fact16: もしもその記念館は御案内であるがしかし武遊双級巴でないとすると奔走する fact17: 交換は協調する fact18: 仮にある物は循環不全であるとするとそれは御案内だけど奔走するということはない fact19: 「それは感染し易いかまたは利用し辛くないかどちらもだ」ということは確かであるというものはない
fact12 & fact10 -> int1: その国内貨幣供給は割れ易い; int1 & fact6 -> int2: その国内貨幣供給は交換である; int2 -> int3: 「交換である」物はある; int3 & fact14 -> int4: その記念館は御案内であるけどそれは武遊双級巴でない; int4 & fact16 -> int5: その記念館は奔走する; int5 -> hypothesis;
その記念館は協調する
fact21 -> int6: もしもその記念館が武遊双級巴だということはないならば交換であるか割れ易いか両方ともである; fact24 -> int7: 「その国内貨幣供給が循環不全であるとするとその国内貨幣供給は御案内であるがしかし奔走するということはない」ということは成り立つ; fact26 -> int8: 仮に「その国内貨幣供給は感染し易いかそれは利用し辛くない」ということは成り立つということはないとすると生き辛くない; fact20 -> int9: 「その国内貨幣供給は感染し易いか利用し辛くないかまたはどちらもである」ということは間違いである; int8 & int9 -> int10: その国内貨幣供給は生き辛くない; fact25 -> int11: もしもその国内貨幣供給は御案内だ一方で奔走しないとするとそれは武遊双級巴であるということはない; fact22 -> int12: もしその記念館が割れ易いとすればそれは協調する; fact23 -> int13: もしその記念館は交換であるとすると協調する;
$facts$ = fact1: もし仮に御案内が奔走しないとするとそれは武遊双級巴であるということはない fact2: 何かは武遊双級巴でないとすれば交換であるかもしくは割れ易い fact3: その国内貨幣供給が武遊双級巴でないならばその視力は交換であるか割れ易いかまたは両方だ fact4: もし仮に「循環不全である」ものがあるとするとその記念館は押っ付けるということはない fact5: もしも「その国内貨幣供給は武遊双級巴である」ということは事実だとしたらその記念館は交換でないし加えて割れ易くない fact6: もし仮にその国内貨幣供給が割れ易いならば交換である fact7: 割れ易いものは協調する fact8: もしもその国内貨幣供給が緩み易いとすればそれは武遊双級巴でありかつ御案内でない fact9: その国内貨幣供給は奔走する fact10: その国内貨幣供給が押っ付けるということはないしその上それは考え辛くない fact11: 交換は御案内である fact12: 仮にその国内貨幣供給は押っ付けないしその上考え辛くないとすると割れ易い fact13: 「「とある物は利用し辛い一方で緩み易くない」ということは確かである」ということは事実と異なるなら「それは緩み易い」ということは成り立つ fact14: もしも「交換である」ものがあればその記念館は御案内だがしかしそれは武遊双級巴でない fact15: もしも「とある物は感染し易いかもしくは利用し辛くないかあるいは両方である」ということは事実でないとすれば生き辛くない fact16: もしもその記念館は御案内であるがしかし武遊双級巴でないとすると奔走する fact17: 交換は協調する fact18: 仮にある物は循環不全であるとするとそれは御案内だけど奔走するということはない fact19: 「それは感染し易いかまたは利用し辛くないかどちらもだ」ということは確かであるというものはない ; $hypothesis$ = その記念館は循環不全であるか奔走するかもしくはどちらもだ ; $proof$ = 
fact12 & fact10 -> int1: その国内貨幣供給は割れ易い; int1 & fact6 -> int2: その国内貨幣供給は交換である; int2 -> int3: 「交換である」物はある; int3 & fact14 -> int4: その記念館は御案内であるけどそれは武遊双級巴でない; int4 & fact16 -> int5: その記念館は奔走する; int5 -> hypothesis; __PROVED__
事実1: もし仮に御案内が奔走しないとするとそれは武遊双級巴であるということはない
事実2: 何かは武遊双級巴でないとすれば交換であるかもしくは割れ易い
事実3: その国内貨幣供給が武遊双級巴でないならばその視力は交換であるか割れ易いかまたは両方だ
事実4: もし仮に「循環不全である」ものがあるとするとその記念館は押っ付けるということはない
事実5: もしも「その国内貨幣供給は武遊双級巴である」ということは事実だとしたらその記念館は交換でないし加えて割れ易くない
事実6: もし仮にその国内貨幣供給が割れ易いならば交換である
事実7: 割れ易いものは協調する
事実8: もしもその国内貨幣供給が緩み易いとすればそれは武遊双級巴でありかつ御案内でない
事実9: その国内貨幣供給は奔走する
事実10: その国内貨幣供給が押っ付けるということはないしその上それは考え辛くない
事実11: 交換は御案内である
事実12: 仮にその国内貨幣供給は押っ付けないしその上考え辛くないとすると割れ易い
事実13: 「「とある物は利用し辛い一方で緩み易くない」ということは確かである」ということは事実と異なるなら「それは緩み易い」ということは成り立つ
事実14: もしも「交換である」ものがあればその記念館は御案内だがしかしそれは武遊双級巴でない
事実15: もしも「とある物は感染し易いかもしくは利用し辛くないかあるいは両方である」ということは事実でないとすれば生き辛くない
事実16: もしもその記念館は御案内であるがしかし武遊双級巴でないとすると奔走する
事実17: 交換は協調する
事実18: 仮にある物は循環不全であるとするとそれは御案内だけど奔走するということはない
事実19: 「それは感染し易いかまたは利用し辛くないかどちらもだ」ということは確かであるというものはない

仮説: その記念館は循環不全であるか奔走するかもしくはどちらもだ
1. 事実12と事実10から、推論1: "その国内貨幣供給は割れ易い"が導かれる
2. 推論1と事実6から、推論2: "その国内貨幣供給は交換である"が導かれる
3. 推論2から、推論3: "「交換である」物はある"が導かれる
4. 推論3と事実14から、推論4: "その記念館は御案内であるけどそれは武遊双級巴でない"が導かれる
5. 推論4と事実16から、推論5: "その記念館は奔走する"が導かれる
6. 推論5から、仮説が導かれる

よって、仮説が証明されました。