あの体制は古くない
fact1: もし仮に「「あのリンクチェックは出所しないけど収集出来る」ということは成り立つ」ということは事実と異なるならばあの在日は出所しない fact2: その男達は揺り起こす fact3: 仮に「あるものは発揮し得ないし加えてそれは二分裂だということはない」ということは間違いだとすると冷め難い fact4: もしそのＷＲが冷め難いとすればあの体制は古い fact5: もし「そのＷＲは冷め難いということはないし古くない」ということは成り立たないとしたら「それは発揮し得る」ということは真実だ fact6: 「そのＮＵＬＬはＴシャツ姿であるし加えてこっ酷い」ということは偽ならばあの土圧はこっ酷くない fact7: 仮に「その男達が古いしその上それは揺り起こす」ということは成り立つということはないならあの体制は古くない fact8: 「あの土圧は冷め難いかあるいは感じする」ということは嘘であるならばその男達は冷め難くない fact9: 仮にこの在日が出所しないとすればあのＮＵＬＬはいとおしくて加えてそれは腐る fact10: 仮になにがしかのものは冷め難くないとしたら「「それは古いし揺り起こす」ということは本当だ」ということは正しくない fact11: もし何らかのものはこっ酷くないなら「それは冷め難いかそれは感じするかあるいは両方ともである」ということは間違いである fact12: もし仮にとある物は調合するということはないならば「それはＴシャツ姿であるししかもこっ酷い」ということは事実と異なる fact13: もし仮に「「その男達は揺り起こさない」ということは正しい」ということは成り立たないなら「そのＷＲは発揮し得るということはないし二分裂でない」ということは誤りである fact14: とあるものが腐るとすると調合しない fact15: この王治は揺り起こす fact16: 「あの体制は古くないしその上発揮し得ない」ということは成り立たない
fact3 -> int1: 仮に「そのＷＲは発揮し得るということはないしその上二分裂でない」ということは成り立つということはないなら冷め難い; fact2 & fact13 -> int2: 「「そのＷＲは発揮し得ないしおまけに二分裂でない」ということは間違っている」ということは事実である; int1 & int2 -> int3: そのＷＲは冷め難い; int3 & fact4 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 & fact13 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact4 -> hypothesis;
あの体制は古くない
fact20 -> int4: もしその男達は冷め難くないとしたら「それは古くてまた揺り起こす」ということは間違っている; fact24 -> int5: もしあの土圧はこっ酷くないとしたら「それは冷め難いか感じするかあるいはどちらもである」ということは間違いだ; fact21 -> int6: もしそのＮＵＬＬは調合しないとすると「それはＴシャツ姿であるし加えてこっ酷い」ということは間違っている; fact25 -> int7: もしもそのＮＵＬＬが腐るなら調合しない;
$facts$ = fact1: もし仮に「「あのリンクチェックは出所しないけど収集出来る」ということは成り立つ」ということは事実と異なるならばあの在日は出所しない fact2: その男達は揺り起こす fact3: 仮に「あるものは発揮し得ないし加えてそれは二分裂だということはない」ということは間違いだとすると冷め難い fact4: もしそのＷＲが冷め難いとすればあの体制は古い fact5: もし「そのＷＲは冷め難いということはないし古くない」ということは成り立たないとしたら「それは発揮し得る」ということは真実だ fact6: 「そのＮＵＬＬはＴシャツ姿であるし加えてこっ酷い」ということは偽ならばあの土圧はこっ酷くない fact7: 仮に「その男達が古いしその上それは揺り起こす」ということは成り立つということはないならあの体制は古くない fact8: 「あの土圧は冷め難いかあるいは感じする」ということは嘘であるならばその男達は冷め難くない fact9: 仮にこの在日が出所しないとすればあのＮＵＬＬはいとおしくて加えてそれは腐る fact10: 仮になにがしかのものは冷め難くないとしたら「「それは古いし揺り起こす」ということは本当だ」ということは正しくない fact11: もし何らかのものはこっ酷くないなら「それは冷め難いかそれは感じするかあるいは両方ともである」ということは間違いである fact12: もし仮にとある物は調合するということはないならば「それはＴシャツ姿であるししかもこっ酷い」ということは事実と異なる fact13: もし仮に「「その男達は揺り起こさない」ということは正しい」ということは成り立たないなら「そのＷＲは発揮し得るということはないし二分裂でない」ということは誤りである fact14: とあるものが腐るとすると調合しない fact15: この王治は揺り起こす fact16: 「あの体制は古くないしその上発揮し得ない」ということは成り立たない ; $hypothesis$ = あの体制は古くない ; $proof$ = 
fact3 -> int1: 仮に「そのＷＲは発揮し得るということはないしその上二分裂でない」ということは成り立つということはないなら冷め難い; fact2 & fact13 -> int2: 「「そのＷＲは発揮し得ないしおまけに二分裂でない」ということは間違っている」ということは事実である; int1 & int2 -> int3: そのＷＲは冷め難い; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「「あのリンクチェックは出所しないけど収集出来る」ということは成り立つ」ということは事実と異なるならばあの在日は出所しない
事実2: その男達は揺り起こす
事実3: 仮に「あるものは発揮し得ないし加えてそれは二分裂だということはない」ということは間違いだとすると冷め難い
事実4: もしそのＷＲが冷め難いとすればあの体制は古い
事実5: もし「そのＷＲは冷め難いということはないし古くない」ということは成り立たないとしたら「それは発揮し得る」ということは真実だ
事実6: 「そのＮＵＬＬはＴシャツ姿であるし加えてこっ酷い」ということは偽ならばあの土圧はこっ酷くない
事実7: 仮に「その男達が古いしその上それは揺り起こす」ということは成り立つということはないならあの体制は古くない
事実8: 「あの土圧は冷め難いかあるいは感じする」ということは嘘であるならばその男達は冷め難くない
事実9: 仮にこの在日が出所しないとすればあのＮＵＬＬはいとおしくて加えてそれは腐る
事実10: 仮になにがしかのものは冷め難くないとしたら「「それは古いし揺り起こす」ということは本当だ」ということは正しくない
事実11: もし何らかのものはこっ酷くないなら「それは冷め難いかそれは感じするかあるいは両方ともである」ということは間違いである
事実12: もし仮にとある物は調合するということはないならば「それはＴシャツ姿であるししかもこっ酷い」ということは事実と異なる
事実13: もし仮に「「その男達は揺り起こさない」ということは正しい」ということは成り立たないなら「そのＷＲは発揮し得るということはないし二分裂でない」ということは誤りである
事実14: とあるものが腐るとすると調合しない
事実15: この王治は揺り起こす
事実16: 「あの体制は古くないしその上発揮し得ない」ということは成り立たない

仮説: あの体制は古くない
1. 事実3から、推論1: "仮に「そのＷＲは発揮し得るということはないしその上二分裂でない」ということは成り立つということはないなら冷め難い"が導かれる
2. 事実2と事実13から、推論2: "「「そのＷＲは発揮し得ないしおまけに二分裂でない」ということは間違っている」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "そのＷＲは冷め難い"が導かれる
4. 推論3と事実4から、仮説が否定される

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