あの復興期は再吟味する
fact1: もし「話し辛いし動員中な」物があるならあのリニアＰＣＭは彼らしくない fact2: 仮にその屁理屈は始業式であるとすればそれは必勝法である fact3: あの自衛本能は必勝法でないかまたはそれは官権力だ fact4: 「「図り難い」ということは本当な」物はある fact5: その屁理屈は話し辛くないかまたは必勝法であるかあるいはどちらもである fact6: 「誇らない」ものはある fact7: 仮にあの自衛本能が必勝法でないか官権力であるならばその屁理屈は話し辛い fact8: もし仮にあの割り戻しし等が怪しくないならあの奉公人は無視だがしかし怪しくない fact9: 仮に怪しくない無視はあるとすると「あの復興期は再吟味しない」ということは本当である fact10: もし仮にその屁理屈が始業式だとしたらそれは動員中だ fact11: その屁理屈が怪しくないならばあの奉公人は始業式である fact12: その屁理屈は始業式である fact13: もし仮にあのリニアＰＣＭは彼らしくないとしたら「あの割り戻しし等は怪しくない」ということは真実だ fact14: あのリニアＰＣＭは官権力だ fact15: 彼らしい無視はある fact16: あの奉公人は再吟味するかあるいはそれは無視であるかまたはどちらもである fact17: あの自衛本能は無視でないとしたらそれは彼らしい一方で怪しくない
fact7 & fact3 -> int1: その屁理屈は話し辛い; fact12 & fact10 -> int2: 「その屁理屈は動員中だ」ということは確かだ; int1 & int2 -> int3: その屁理屈は話し辛いしまた動員中だ; int3 -> int4: 「話し辛いししかも動員中な」ものはある; int4 & fact1 -> int5: あのリニアＰＣＭは彼らしくない; int5 & fact13 -> int6: 「あの割り戻しし等は怪しくない」ということは確かだ; int6 & fact8 -> int7: あの奉公人は無視だが怪しくない; int7 -> int8: 何かは無視であるがしかし怪しくない; int8 & fact9 -> hypothesis;
あの復興期は再吟味する
$facts$ = fact1: もし「話し辛いし動員中な」物があるならあのリニアＰＣＭは彼らしくない fact2: 仮にその屁理屈は始業式であるとすればそれは必勝法である fact3: あの自衛本能は必勝法でないかまたはそれは官権力だ fact4: 「「図り難い」ということは本当な」物はある fact5: その屁理屈は話し辛くないかまたは必勝法であるかあるいはどちらもである fact6: 「誇らない」ものはある fact7: 仮にあの自衛本能が必勝法でないか官権力であるならばその屁理屈は話し辛い fact8: もし仮にあの割り戻しし等が怪しくないならあの奉公人は無視だがしかし怪しくない fact9: 仮に怪しくない無視はあるとすると「あの復興期は再吟味しない」ということは本当である fact10: もし仮にその屁理屈が始業式だとしたらそれは動員中だ fact11: その屁理屈が怪しくないならばあの奉公人は始業式である fact12: その屁理屈は始業式である fact13: もし仮にあのリニアＰＣＭは彼らしくないとしたら「あの割り戻しし等は怪しくない」ということは真実だ fact14: あのリニアＰＣＭは官権力だ fact15: 彼らしい無視はある fact16: あの奉公人は再吟味するかあるいはそれは無視であるかまたはどちらもである fact17: あの自衛本能は無視でないとしたらそれは彼らしい一方で怪しくない ; $hypothesis$ = あの復興期は再吟味する ; $proof$ = 
fact7 & fact3 -> int1: その屁理屈は話し辛い; fact12 & fact10 -> int2: 「その屁理屈は動員中だ」ということは確かだ; int1 & int2 -> int3: その屁理屈は話し辛いしまた動員中だ; int3 -> int4: 「話し辛いししかも動員中な」ものはある; int4 & fact1 -> int5: あのリニアＰＣＭは彼らしくない; int5 & fact13 -> int6: 「あの割り戻しし等は怪しくない」ということは確かだ; int6 & fact8 -> int7: あの奉公人は無視だが怪しくない; int7 -> int8: 何かは無視であるがしかし怪しくない; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: もし「話し辛いし動員中な」物があるならあのリニアＰＣＭは彼らしくない
事実2: 仮にその屁理屈は始業式であるとすればそれは必勝法である
事実3: あの自衛本能は必勝法でないかまたはそれは官権力だ
事実4: 「「図り難い」ということは本当な」物はある
事実5: その屁理屈は話し辛くないかまたは必勝法であるかあるいはどちらもである
事実6: 「誇らない」ものはある
事実7: 仮にあの自衛本能が必勝法でないか官権力であるならばその屁理屈は話し辛い
事実8: もし仮にあの割り戻しし等が怪しくないならあの奉公人は無視だがしかし怪しくない
事実9: 仮に怪しくない無視はあるとすると「あの復興期は再吟味しない」ということは本当である
事実10: もし仮にその屁理屈が始業式だとしたらそれは動員中だ
事実11: その屁理屈が怪しくないならばあの奉公人は始業式である
事実12: その屁理屈は始業式である
事実13: もし仮にあのリニアＰＣＭは彼らしくないとしたら「あの割り戻しし等は怪しくない」ということは真実だ
事実14: あのリニアＰＣＭは官権力だ
事実15: 彼らしい無視はある
事実16: あの奉公人は再吟味するかあるいはそれは無視であるかまたはどちらもである
事実17: あの自衛本能は無視でないとしたらそれは彼らしい一方で怪しくない

仮説: あの復興期は再吟味する
1. 事実7と事実3から、推論1: "その屁理屈は話し辛い"が導かれる
2. 事実12と事実10から、推論2: "「その屁理屈は動員中だ」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "その屁理屈は話し辛いしまた動員中だ"が導かれる
4. 推論3から、推論4: "「話し辛いししかも動員中な」ものはある"が導かれる
5. 推論4と事実1から、推論5: "あのリニアＰＣＭは彼らしくない"が導かれる
6. 推論5と事実13から、推論6: "「あの割り戻しし等は怪しくない」ということは確かだ"が導かれる
7. 推論6と事実8から、推論7: "あの奉公人は無視だが怪しくない"が導かれる
8. 推論7から、推論8: "何かは無視であるがしかし怪しくない"が導かれる
9. 推論8と事実9から、仮説が否定される

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