この五十二人は後らしいしそれに堅持する
fact1: 仮にある物が鉄血宰相だとしたらこの五十二人は後らしい fact2: もし仮に「堅持しない」物があるとしたらこの五十二人は淫汁でない fact3: 仮にあの千九百八十四年法が鉄血宰相だとすればその墨流し印刷はシャーロッキアンである fact4: もしもこの五十二人が淫汁であるとすればあの探査機は後らしい fact5: もしとある物がシャーロッキアンでないとすると淫汁だしさらにそれは堅持するということはない fact6: もしなんらかの物は鍛え直すとすると「あのＬＡＴＥＸは溶け難くないし振り手形だということはない」ということは事実と異なる fact7: もしその墨流し印刷が馬車馬ならそれは鉄血宰相である fact8: もし仮にあの千九百八十四年法が淫汁だが堅持しないならばこの五十二人は堅持する fact9: もしも「「「馬車馬で寝癖である」ということは成り立つ」ということは誤りな」ものがあるとするとその墨流し印刷はシャーロッキアンでない fact10: なにがしかのものはシャーロッキアンでそれは鉄血宰相だ fact11: もし仮にあの千九百八十四年法は鉄血宰相でないとすれば「その探査機は淫汁でないがしかし胡散臭い」ということは誤りだ fact12: もし仮に「あのＬＡＴＥＸは溶け難くないしまた振り手形でない」ということは事実と異なるとすればあの墨流し印刷は馬車馬である fact13: 「その探査機は寝癖でないけれど受けである」ということは事実であるならあの千九百八十四年法は受けであるということはない fact14: もしあの千九百八十四年法は受けでないならそれはシャーロッキアンだということはないけど胡散臭い fact15: 「「馬車馬だししかも寝癖だ」ということは事実と異なる」ものはある fact16: もしもあの掴み合いが利用し難いならばそれは鍛え直す fact17: あの掴み合いは利用し難い fact18: もしあのＬＡＴＥＸは受けでないなら「この五十二人は後らしいしまたそれは堅持する」ということは真実でない fact19: もし仮に「その探査機は淫汁だということはないけど胡散臭い」ということは成り立たないとしたらあのＬＡＴＥＸは受けでない fact20: もしこの五十二人は受けでないならば「あのＬＡＴＥＸが後らしいしその上それはシャーロッキアンだ」ということは成り立たない
void -> assump1: 以下のように仮定する。あの千九百八十四年法は鉄血宰相だ; fact3 & assump1 -> int1: その墨流し印刷はシャーロッキアンである; fact15 & fact9 -> int2: 「その墨流し印刷はシャーロッキアンでない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの千九百八十四年法は鉄血宰相でない」ということは真実だ; int4 & fact11 -> int5: 「その探査機は淫汁であるということはない一方で胡散臭い」ということは間違いだ; int5 & fact19 -> int6: あのＬＡＴＥＸは受けでない; int6 & fact18 -> hypothesis;
この五十二人は後らしいし加えてそれは堅持する
fact25 & fact22 -> int7: あの掴み合いは鍛え直す; int7 -> int8: 何らかのものは鍛え直す; int8 & fact27 -> int9: 「あのＬＡＴＥＸが溶け難いということはないしその上振り手形でない」ということは成り立たない; fact29 & int9 -> int10: その墨流し印刷は馬車馬である; fact21 & int10 -> int11: その墨流し印刷は鉄血宰相である; int11 -> int12: 「鉄血宰相である」物はある; int12 & fact30 -> int13: この五十二人は後らしい; fact24 -> int14: もしあの千九百八十四年法はシャーロッキアンでないとしたら淫汁だけど堅持しない;
$facts$ = fact1: 仮にある物が鉄血宰相だとしたらこの五十二人は後らしい fact2: もし仮に「堅持しない」物があるとしたらこの五十二人は淫汁でない fact3: 仮にあの千九百八十四年法が鉄血宰相だとすればその墨流し印刷はシャーロッキアンである fact4: もしもこの五十二人が淫汁であるとすればあの探査機は後らしい fact5: もしとある物がシャーロッキアンでないとすると淫汁だしさらにそれは堅持するということはない fact6: もしなんらかの物は鍛え直すとすると「あのＬＡＴＥＸは溶け難くないし振り手形だということはない」ということは事実と異なる fact7: もしその墨流し印刷が馬車馬ならそれは鉄血宰相である fact8: もし仮にあの千九百八十四年法が淫汁だが堅持しないならばこの五十二人は堅持する fact9: もしも「「「馬車馬で寝癖である」ということは成り立つ」ということは誤りな」ものがあるとするとその墨流し印刷はシャーロッキアンでない fact10: なにがしかのものはシャーロッキアンでそれは鉄血宰相だ fact11: もし仮にあの千九百八十四年法は鉄血宰相でないとすれば「その探査機は淫汁でないがしかし胡散臭い」ということは誤りだ fact12: もし仮に「あのＬＡＴＥＸは溶け難くないしまた振り手形でない」ということは事実と異なるとすればあの墨流し印刷は馬車馬である fact13: 「その探査機は寝癖でないけれど受けである」ということは事実であるならあの千九百八十四年法は受けであるということはない fact14: もしあの千九百八十四年法は受けでないならそれはシャーロッキアンだということはないけど胡散臭い fact15: 「「馬車馬だししかも寝癖だ」ということは事実と異なる」ものはある fact16: もしもあの掴み合いが利用し難いならばそれは鍛え直す fact17: あの掴み合いは利用し難い fact18: もしあのＬＡＴＥＸは受けでないなら「この五十二人は後らしいしまたそれは堅持する」ということは真実でない fact19: もし仮に「その探査機は淫汁だということはないけど胡散臭い」ということは成り立たないとしたらあのＬＡＴＥＸは受けでない fact20: もしこの五十二人は受けでないならば「あのＬＡＴＥＸが後らしいしその上それはシャーロッキアンだ」ということは成り立たない ; $hypothesis$ = この五十二人は後らしいしそれに堅持する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの千九百八十四年法は鉄血宰相だ; fact3 & assump1 -> int1: その墨流し印刷はシャーロッキアンである; fact15 & fact9 -> int2: 「その墨流し印刷はシャーロッキアンでない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの千九百八十四年法は鉄血宰相でない」ということは真実だ; int4 & fact11 -> int5: 「その探査機は淫汁であるということはない一方で胡散臭い」ということは間違いだ; int5 & fact19 -> int6: あのＬＡＴＥＸは受けでない; int6 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮にある物が鉄血宰相だとしたらこの五十二人は後らしい
事実2: もし仮に「堅持しない」物があるとしたらこの五十二人は淫汁でない
事実3: 仮にあの千九百八十四年法が鉄血宰相だとすればその墨流し印刷はシャーロッキアンである
事実4: もしもこの五十二人が淫汁であるとすればあの探査機は後らしい
事実5: もしとある物がシャーロッキアンでないとすると淫汁だしさらにそれは堅持するということはない
事実6: もしなんらかの物は鍛え直すとすると「あのＬＡＴＥＸは溶け難くないし振り手形だということはない」ということは事実と異なる
事実7: もしその墨流し印刷が馬車馬ならそれは鉄血宰相である
事実8: もし仮にあの千九百八十四年法が淫汁だが堅持しないならばこの五十二人は堅持する
事実9: もしも「「「馬車馬で寝癖である」ということは成り立つ」ということは誤りな」ものがあるとするとその墨流し印刷はシャーロッキアンでない
事実10: なにがしかのものはシャーロッキアンでそれは鉄血宰相だ
事実11: もし仮にあの千九百八十四年法は鉄血宰相でないとすれば「その探査機は淫汁でないがしかし胡散臭い」ということは誤りだ
事実12: もし仮に「あのＬＡＴＥＸは溶け難くないしまた振り手形でない」ということは事実と異なるとすればあの墨流し印刷は馬車馬である
事実13: 「その探査機は寝癖でないけれど受けである」ということは事実であるならあの千九百八十四年法は受けであるということはない
事実14: もしあの千九百八十四年法は受けでないならそれはシャーロッキアンだということはないけど胡散臭い
事実15: 「「馬車馬だししかも寝癖だ」ということは事実と異なる」ものはある
事実16: もしもあの掴み合いが利用し難いならばそれは鍛え直す
事実17: あの掴み合いは利用し難い
事実18: もしあのＬＡＴＥＸは受けでないなら「この五十二人は後らしいしまたそれは堅持する」ということは真実でない
事実19: もし仮に「その探査機は淫汁だということはないけど胡散臭い」ということは成り立たないとしたらあのＬＡＴＥＸは受けでない
事実20: もしこの五十二人は受けでないならば「あのＬＡＴＥＸが後らしいしその上それはシャーロッキアンだ」ということは成り立たない

仮説: この五十二人は後らしいしそれに堅持する
1. 仮定1: 以下のように仮定する。あの千九百八十四年法は鉄血宰相だ
2. 事実3と仮定1から、推論1: "その墨流し印刷はシャーロッキアンである"が導かれる
3. 事実15と事実9から、推論2: "「その墨流し印刷はシャーロッキアンでない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの千九百八十四年法は鉄血宰相でない」ということは真実だ"が導かれる
6. 推論4と事実11から、推論5: "「その探査機は淫汁であるということはない一方で胡散臭い」ということは間違いだ"が導かれる
7. 推論5と事実19から、推論6: "あのＬＡＴＥＸは受けでない"が導かれる
8. 推論6と事実18から、仮説が否定される

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