このアーキテクチャは世知辛くなくてかつ名付けない
fact1: 「その文学思潮は名付けるということはないしおまけにそれは世知辛いということはない」ということは成り立たない fact2: 仮にその文学思潮は世知辛くないならば「このアーキテクチャは世知辛いということはないしかつ名付けない」ということは正しくない fact3: 「このアーキテクチャは世知辛くないけど名付ける」ということは嘘である fact4: もし仮にこのアーキテクチャは世知辛くないとしたら「その推定係数は世知辛くないししかもそれは突き飛ばさない」ということは成り立たない fact5: もしも「その文学思潮は再発し易い」ということは嘘でないならばそれは尊崇しないしそれに社会保険方式である fact6: その文学思潮は再発し易い fact7: もし仮にその文学思潮は名付けないなら「「このアーキテクチャは名付けないがしかし世知辛い」ということは本当だ」ということは間違っている fact8: あるものがかったるくないとすると評するがしかし月読尊でない fact9: 「その推定係数は疲れ易いけど期待すらない」ということは誤りだ fact10: 仮にこのアーキテクチャは突き飛ばさないならば「その推定係数は突き飛ばさないが世知辛い」ということは誤っている fact11: もしその推定係数は世知辛くないとすると「その文学思潮は突き飛ばさない」ということは正しい fact12: もしもなにかは検体でないならばそれは取り扱い易くないがしかし有害ガスである fact13: その推定係数が評するけれど月読尊でないとするとこのアーキテクチャは検体でない fact14: 「その文学思潮は名付けるしそれに世知辛い」ということは成り立たない fact15: 「その推定係数は疲れ易くておまけにそれは突き飛ばす」ということは事実でない fact16: 「このアーキテクチャは名付けないしそれに突き飛ばさない」ということは誤っている fact17: 仮に「その推定係数は疲れ易いし突き飛ばす」ということは成り立たないとしたらその文学思潮は世知辛くない fact18: もし何らかのものが取り扱い易くないとしたら世知辛くなくて名付けない
fact17 & fact15 -> int1: その文学思潮は世知辛くない; int1 & fact2 -> hypothesis;
このアーキテクチャは世知辛くなくて名付けない
fact20 -> int2: 仮に「このアーキテクチャは取り扱い易いということはない」ということは正しいならば世知辛くないし更に名付けない; fact24 -> int3: もしこのアーキテクチャは検体でないならば取り扱い易くないが有害ガスだ; fact23 -> int4: もし仮にその推定係数がかったるくないならばそれは評するけれど月読尊でない; fact22 & fact21 -> int5: その文学思潮は尊崇しないけどそれは社会保険方式だ; int5 -> int6: 「何らかのものは尊崇しないがしかし社会保険方式だ」ということは間違っていない;
$facts$ = fact1: 「その文学思潮は名付けるということはないしおまけにそれは世知辛いということはない」ということは成り立たない fact2: 仮にその文学思潮は世知辛くないならば「このアーキテクチャは世知辛いということはないしかつ名付けない」ということは正しくない fact3: 「このアーキテクチャは世知辛くないけど名付ける」ということは嘘である fact4: もし仮にこのアーキテクチャは世知辛くないとしたら「その推定係数は世知辛くないししかもそれは突き飛ばさない」ということは成り立たない fact5: もしも「その文学思潮は再発し易い」ということは嘘でないならばそれは尊崇しないしそれに社会保険方式である fact6: その文学思潮は再発し易い fact7: もし仮にその文学思潮は名付けないなら「「このアーキテクチャは名付けないがしかし世知辛い」ということは本当だ」ということは間違っている fact8: あるものがかったるくないとすると評するがしかし月読尊でない fact9: 「その推定係数は疲れ易いけど期待すらない」ということは誤りだ fact10: 仮にこのアーキテクチャは突き飛ばさないならば「その推定係数は突き飛ばさないが世知辛い」ということは誤っている fact11: もしその推定係数は世知辛くないとすると「その文学思潮は突き飛ばさない」ということは正しい fact12: もしもなにかは検体でないならばそれは取り扱い易くないがしかし有害ガスである fact13: その推定係数が評するけれど月読尊でないとするとこのアーキテクチャは検体でない fact14: 「その文学思潮は名付けるしそれに世知辛い」ということは成り立たない fact15: 「その推定係数は疲れ易くておまけにそれは突き飛ばす」ということは事実でない fact16: 「このアーキテクチャは名付けないしそれに突き飛ばさない」ということは誤っている fact17: 仮に「その推定係数は疲れ易いし突き飛ばす」ということは成り立たないとしたらその文学思潮は世知辛くない fact18: もし何らかのものが取り扱い易くないとしたら世知辛くなくて名付けない ; $hypothesis$ = このアーキテクチャは世知辛くなくてかつ名付けない ; $proof$ = 
fact17 & fact15 -> int1: その文学思潮は世知辛くない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その文学思潮は名付けるということはないしおまけにそれは世知辛いということはない」ということは成り立たない
事実2: 仮にその文学思潮は世知辛くないならば「このアーキテクチャは世知辛いということはないしかつ名付けない」ということは正しくない
事実3: 「このアーキテクチャは世知辛くないけど名付ける」ということは嘘である
事実4: もし仮にこのアーキテクチャは世知辛くないとしたら「その推定係数は世知辛くないししかもそれは突き飛ばさない」ということは成り立たない
事実5: もしも「その文学思潮は再発し易い」ということは嘘でないならばそれは尊崇しないしそれに社会保険方式である
事実6: その文学思潮は再発し易い
事実7: もし仮にその文学思潮は名付けないなら「「このアーキテクチャは名付けないがしかし世知辛い」ということは本当だ」ということは間違っている
事実8: あるものがかったるくないとすると評するがしかし月読尊でない
事実9: 「その推定係数は疲れ易いけど期待すらない」ということは誤りだ
事実10: 仮にこのアーキテクチャは突き飛ばさないならば「その推定係数は突き飛ばさないが世知辛い」ということは誤っている
事実11: もしその推定係数は世知辛くないとすると「その文学思潮は突き飛ばさない」ということは正しい
事実12: もしもなにかは検体でないならばそれは取り扱い易くないがしかし有害ガスである
事実13: その推定係数が評するけれど月読尊でないとするとこのアーキテクチャは検体でない
事実14: 「その文学思潮は名付けるしそれに世知辛い」ということは成り立たない
事実15: 「その推定係数は疲れ易くておまけにそれは突き飛ばす」ということは事実でない
事実16: 「このアーキテクチャは名付けないしそれに突き飛ばさない」ということは誤っている
事実17: 仮に「その推定係数は疲れ易いし突き飛ばす」ということは成り立たないとしたらその文学思潮は世知辛くない
事実18: もし何らかのものが取り扱い易くないとしたら世知辛くなくて名付けない

仮説: このアーキテクチャは世知辛くなくてかつ名付けない
1. 事実17と事実15から、推論1: "その文学思潮は世知辛くない"が導かれる
2. 推論1と事実2から、仮説が否定される

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