あのきんぽう気科は懇望しないしおまけに気象観測でない
fact1: 「気象観測であるということはない」ものはあるなら「あのスキンケアは懇望しないけれど看過し難い」ということは成り立たない fact2: あのきんぽう気科はベト病である fact3: もし仮に「この人間像は攪拌しないか懇望するかあるいは両方ともだ」ということは確かでないとするとあのきんぽう気科は気象観測でない fact4: なにがしかの物は気象観測だ fact5: もしも「攪拌しない」物はあるとしたら「あのきんぽう気科は懇望しないしそれにそれは気象観測であるということはない」ということは成り立たない fact6: それは郷村社会でないかあるいは竣功するかまたは両方ともであるというものはない fact7: 凝らさないかもしくは看過し難いという物はない fact8: もし仮に何らかの物がトライ出来ないとすると気象観測であるか懇望するかもしくは両方ともである fact9: もし「あのスキンケアは凝らさないかもしくはそれは看過し難い」ということは成り立たないとすればこの人間像は攪拌しない fact10: もし何らかのものはベト病ならば「使用し易いということはないし長期記憶であるということはない」ということは本当でない fact11: もしもなにがしかのものは攪拌するとしたら「監視出来るということはないかあるいはそれは結核予防会である」ということは誤っている fact12: ある物は攪拌しないならば「「あのスキンケアは懇望しなくて凝らさない」ということは偽だ」ということは成り立つ fact13: あらゆるものは看過し難くない
fact7 -> int1: 「あのスキンケアは凝らさないかあるいはそれは看過し難いかまたは両方ともである」ということは嘘だ; int1 & fact9 -> int2: この人間像は攪拌しない; int2 -> int3: 「攪拌しない」ものはある; int3 & fact5 -> hypothesis;
「あのスキンケアは監視出来ないかもしくは結核予防会であるかまたは両方である」ということは間違いだ
fact17 -> int4: 「あのスキンケアは攪拌する」ということは確かであるとすれば「それは監視出来ないかもしくは結核予防会であるかあるいは両方だ」ということは成り立たない; fact15 -> int5: もしもこの人間像がトライ出来ないなら気象観測であるかまたは懇望するかまたは両方だ; fact14 -> int6: あのきんぽう気科はベト病なら「使用し易くないしまた長期記憶でない」ということは偽だ; int6 & fact16 -> int7: 「あのきんぽう気科は使用し易くないしまたそれは長期記憶でない」ということは誤りである; int7 -> int8: 「「使用し易くないし更に長期記憶であるということはない」ということは偽である」物はある;
$facts$ = fact1: 「気象観測であるということはない」ものはあるなら「あのスキンケアは懇望しないけれど看過し難い」ということは成り立たない fact2: あのきんぽう気科はベト病である fact3: もし仮に「この人間像は攪拌しないか懇望するかあるいは両方ともだ」ということは確かでないとするとあのきんぽう気科は気象観測でない fact4: なにがしかの物は気象観測だ fact5: もしも「攪拌しない」物はあるとしたら「あのきんぽう気科は懇望しないしそれにそれは気象観測であるということはない」ということは成り立たない fact6: それは郷村社会でないかあるいは竣功するかまたは両方ともであるというものはない fact7: 凝らさないかもしくは看過し難いという物はない fact8: もし仮に何らかの物がトライ出来ないとすると気象観測であるか懇望するかもしくは両方ともである fact9: もし「あのスキンケアは凝らさないかもしくはそれは看過し難い」ということは成り立たないとすればこの人間像は攪拌しない fact10: もし何らかのものはベト病ならば「使用し易いということはないし長期記憶であるということはない」ということは本当でない fact11: もしもなにがしかのものは攪拌するとしたら「監視出来るということはないかあるいはそれは結核予防会である」ということは誤っている fact12: ある物は攪拌しないならば「「あのスキンケアは懇望しなくて凝らさない」ということは偽だ」ということは成り立つ fact13: あらゆるものは看過し難くない ; $hypothesis$ = あのきんぽう気科は懇望しないしおまけに気象観測でない ; $proof$ = 
fact7 -> int1: 「あのスキンケアは凝らさないかあるいはそれは看過し難いかまたは両方ともである」ということは嘘だ; int1 & fact9 -> int2: この人間像は攪拌しない; int2 -> int3: 「攪拌しない」ものはある; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 「気象観測であるということはない」ものはあるなら「あのスキンケアは懇望しないけれど看過し難い」ということは成り立たない
事実2: あのきんぽう気科はベト病である
事実3: もし仮に「この人間像は攪拌しないか懇望するかあるいは両方ともだ」ということは確かでないとするとあのきんぽう気科は気象観測でない
事実4: なにがしかの物は気象観測だ
事実5: もしも「攪拌しない」物はあるとしたら「あのきんぽう気科は懇望しないしそれにそれは気象観測であるということはない」ということは成り立たない
事実6: それは郷村社会でないかあるいは竣功するかまたは両方ともであるというものはない
事実7: 凝らさないかもしくは看過し難いという物はない
事実8: もし仮に何らかの物がトライ出来ないとすると気象観測であるか懇望するかもしくは両方ともである
事実9: もし「あのスキンケアは凝らさないかもしくはそれは看過し難い」ということは成り立たないとすればこの人間像は攪拌しない
事実10: もし何らかのものはベト病ならば「使用し易いということはないし長期記憶であるということはない」ということは本当でない
事実11: もしもなにがしかのものは攪拌するとしたら「監視出来るということはないかあるいはそれは結核予防会である」ということは誤っている
事実12: ある物は攪拌しないならば「「あのスキンケアは懇望しなくて凝らさない」ということは偽だ」ということは成り立つ
事実13: あらゆるものは看過し難くない

仮説: あのきんぽう気科は懇望しないしおまけに気象観測でない
1. 事実7から、推論1: "「あのスキンケアは凝らさないかあるいはそれは看過し難いかまたは両方ともである」ということは嘘だ"が導かれる
2. 推論1と事実9から、推論2: "この人間像は攪拌しない"が導かれる
3. 推論2から、推論3: "「攪拌しない」ものはある"が導かれる
4. 推論3と事実5から、仮説が否定される

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