あのＣＩＳＴは共存しない
fact1: もしもこのフットワークが覗き見でないけれどそれは聡いとすると「この脂肪肉腫は洗剤でない」ということは事実だ fact2: あのＣＩＳＴは受け取り手形割り引き高だしそれに連作する fact3: もし仮にこのフットワークは聡くないならば「あのＣＩＳＴは聡いが見過ぎない」ということは誤りである fact4: その社会教育職員は聡い fact5: もしこの脂肪肉腫が洗剤でないけれど全滅するならあのＣＩＳＴは聡くない fact6: もしもなにがしかの物は覗き見だということはないとすれば「それは全滅するしまたそれは回診する」ということは誤りである fact7: あのＣＩＳＴが聡くないならばそれは共存する fact8: もし仮にこの脂肪肉腫は聡くないとすると「このフットワークは聡いしおまけに吸引する」ということは成り立たない fact9: 「このフットワークは吸引する」ということは成り立つ fact10: もし聡い物は覗き見でないならそれは全滅しない fact11: 仮にこの脂肪肉腫が吸引するとするとそれは洗剤だ fact12: 「なんらかのものは聡いが見過ぎない」ということは誤っていればそれは共存する fact13: もし仮にその社会教育職員が生じ始めるとすればこの脂肪肉腫は全滅しない fact14: なにがしかの物が見過ぎるとすればそれは聡いけど覗き見だということはない fact15: その社会教育職員は全滅する fact16: 仮に「その社会教育職員は洗剤だ」ということは間違いであるということはないならばあの脂肪肉腫は全滅しない fact17: この脂肪肉腫は吸引するし加えて生じ始める fact18: このフットワークは中国社会科学院考古研究所編でない fact19: あのＣＩＳＴは吸引しない fact20: もしその社会教育職員が回診するかあるいはそれが全滅するかどちらもだとすればこのフットワークは覗き見だということはない fact21: その不漏は全滅する fact22: もしもその社会教育職員が共存しないとしたらその職業倫理は見過ぎる fact23: 「洗剤であるし覗き見だというものはない」ということは真実だ
fact15 -> int1: その社会教育職員は回診するかあるいは全滅する; int1 & fact20 -> int2: このフットワークは覗き見でない; void -> assump1: 以下のように仮定する。このフットワークは聡い; int2 & assump1 -> int3: このフットワークは覗き見でない一方でそれは聡い; int3 & fact1 -> int4: この脂肪肉腫は洗剤でない; fact17 -> int5: この脂肪肉腫は吸引する; int5 & fact11 -> int6: この脂肪肉腫は洗剤である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「このフットワークは聡くない」ということは確かだ; int8 & fact3 -> int9: 「あのＣＩＳＴは聡いけど見過ぎない」ということは嘘である; fact12 -> int10: もし仮に「あのＣＩＳＴは聡いけれど見過ぎるということはない」ということは偽ならばそれは共存する; int9 & int10 -> hypothesis;
「その職業倫理は洗剤である」ということは成り立つ
fact25 -> int11: もしその職業倫理は聡いけど覗き見でないとすると全滅しない; fact26 -> int12: もし仮にその職業倫理が見過ぎるなら聡いが覗き見でない;
$facts$ = fact1: もしもこのフットワークが覗き見でないけれどそれは聡いとすると「この脂肪肉腫は洗剤でない」ということは事実だ fact2: あのＣＩＳＴは受け取り手形割り引き高だしそれに連作する fact3: もし仮にこのフットワークは聡くないならば「あのＣＩＳＴは聡いが見過ぎない」ということは誤りである fact4: その社会教育職員は聡い fact5: もしこの脂肪肉腫が洗剤でないけれど全滅するならあのＣＩＳＴは聡くない fact6: もしもなにがしかの物は覗き見だということはないとすれば「それは全滅するしまたそれは回診する」ということは誤りである fact7: あのＣＩＳＴが聡くないならばそれは共存する fact8: もし仮にこの脂肪肉腫は聡くないとすると「このフットワークは聡いしおまけに吸引する」ということは成り立たない fact9: 「このフットワークは吸引する」ということは成り立つ fact10: もし聡い物は覗き見でないならそれは全滅しない fact11: 仮にこの脂肪肉腫が吸引するとするとそれは洗剤だ fact12: 「なんらかのものは聡いが見過ぎない」ということは誤っていればそれは共存する fact13: もし仮にその社会教育職員が生じ始めるとすればこの脂肪肉腫は全滅しない fact14: なにがしかの物が見過ぎるとすればそれは聡いけど覗き見だということはない fact15: その社会教育職員は全滅する fact16: 仮に「その社会教育職員は洗剤だ」ということは間違いであるということはないならばあの脂肪肉腫は全滅しない fact17: この脂肪肉腫は吸引するし加えて生じ始める fact18: このフットワークは中国社会科学院考古研究所編でない fact19: あのＣＩＳＴは吸引しない fact20: もしその社会教育職員が回診するかあるいはそれが全滅するかどちらもだとすればこのフットワークは覗き見だということはない fact21: その不漏は全滅する fact22: もしもその社会教育職員が共存しないとしたらその職業倫理は見過ぎる fact23: 「洗剤であるし覗き見だというものはない」ということは真実だ ; $hypothesis$ = あのＣＩＳＴは共存しない ; $proof$ = 
fact15 -> int1: その社会教育職員は回診するかあるいは全滅する; int1 & fact20 -> int2: このフットワークは覗き見でない; void -> assump1: 以下のように仮定する。このフットワークは聡い; int2 & assump1 -> int3: このフットワークは覗き見でない一方でそれは聡い; int3 & fact1 -> int4: この脂肪肉腫は洗剤でない; fact17 -> int5: この脂肪肉腫は吸引する; int5 & fact11 -> int6: この脂肪肉腫は洗剤である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「このフットワークは聡くない」ということは確かだ; int8 & fact3 -> int9: 「あのＣＩＳＴは聡いけど見過ぎない」ということは嘘である; fact12 -> int10: もし仮に「あのＣＩＳＴは聡いけれど見過ぎるということはない」ということは偽ならばそれは共存する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もしもこのフットワークが覗き見でないけれどそれは聡いとすると「この脂肪肉腫は洗剤でない」ということは事実だ
事実2: あのＣＩＳＴは受け取り手形割り引き高だしそれに連作する
事実3: もし仮にこのフットワークは聡くないならば「あのＣＩＳＴは聡いが見過ぎない」ということは誤りである
事実4: その社会教育職員は聡い
事実5: もしこの脂肪肉腫が洗剤でないけれど全滅するならあのＣＩＳＴは聡くない
事実6: もしもなにがしかの物は覗き見だということはないとすれば「それは全滅するしまたそれは回診する」ということは誤りである
事実7: あのＣＩＳＴが聡くないならばそれは共存する
事実8: もし仮にこの脂肪肉腫は聡くないとすると「このフットワークは聡いしおまけに吸引する」ということは成り立たない
事実9: 「このフットワークは吸引する」ということは成り立つ
事実10: もし聡い物は覗き見でないならそれは全滅しない
事実11: 仮にこの脂肪肉腫が吸引するとするとそれは洗剤だ
事実12: 「なんらかのものは聡いが見過ぎない」ということは誤っていればそれは共存する
事実13: もし仮にその社会教育職員が生じ始めるとすればこの脂肪肉腫は全滅しない
事実14: なにがしかの物が見過ぎるとすればそれは聡いけど覗き見だということはない
事実15: その社会教育職員は全滅する
事実16: 仮に「その社会教育職員は洗剤だ」ということは間違いであるということはないならばあの脂肪肉腫は全滅しない
事実17: この脂肪肉腫は吸引するし加えて生じ始める
事実18: このフットワークは中国社会科学院考古研究所編でない
事実19: あのＣＩＳＴは吸引しない
事実20: もしその社会教育職員が回診するかあるいはそれが全滅するかどちらもだとすればこのフットワークは覗き見だということはない
事実21: その不漏は全滅する
事実22: もしもその社会教育職員が共存しないとしたらその職業倫理は見過ぎる
事実23: 「洗剤であるし覗き見だというものはない」ということは真実だ

仮説: あのＣＩＳＴは共存しない
1. 事実15から、推論1: "その社会教育職員は回診するかあるいは全滅する"が導かれる
2. 推論1と事実20から、推論2: "このフットワークは覗き見でない"が導かれる
3. 仮定1: 以下のように仮定する。このフットワークは聡い
4. 推論2と仮定1から、推論3: "このフットワークは覗き見でない一方でそれは聡い"が導かれる
5. 推論3と事実1から、推論4: "この脂肪肉腫は洗剤でない"が導かれる
6. 事実17から、推論5: "この脂肪肉腫は吸引する"が導かれる
7. 推論5と事実11から、推論6: "この脂肪肉腫は洗剤である"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「このフットワークは聡くない」ということは確かだ"が導かれる
10. 推論8と事実3から、推論9: "「あのＣＩＳＴは聡いけど見過ぎない」ということは嘘である"が導かれる
11. 事実12から、推論10: "もし仮に「あのＣＩＳＴは聡いけれど見過ぎるということはない」ということは偽ならばそれは共存する"が導かれる
12. 推論9と推論10から、仮説が否定される

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