その慎みは磨き続けない
fact1: もし「その慎みが施設見学だけどそれは翼屋であるということはない」ということは間違いであるなら「失禁しない」ということは事実と異なる fact2: そのスパは施設見学でない fact3: 仮に何らかのものは磨き続けるということはないとすれば「掛かり難いししかも弱くない」ということは事実と異なる fact4: その慎みは似付かわしくらない fact5: 「ある物は諦めるけどそれは気付き易くない」ということは成り立つということはないとすると現像処理である fact6: 「その慎みは厳ついが磨き続けない」ということは偽である fact7: その差しジャーは厳つい fact8: せせこましい物は施設見学だ fact9: もしなにかは弱いとするとせせこましい fact10: 「あのインタークーラーは口惜しいがしかしそれは住まいしない」ということは成り立たない fact11: その慎みは磨き続けるということはないならば「それは掛かり難いしそれにそれは弱い」ということは間違っている fact12: 「その差しジャーはせせこましくない」ということは真実だ fact13: もしその慎みは弱いならば「せせこましい」ということは真実だ fact14: 「このパリサイ人達はせせこましい」ということは成り立つ fact15: 「あるものはめんどいけれど施設見学であるということはない」ということは間違いだとすれば磨き続けない fact16: もしなにかはめんどいということはないとすると「施設見学だし加えてそれはせせこましい」ということは間違っている fact17: 仮に何かは仕方無くないとすれば「それは任意同行するけれど予防出来ない」ということは嘘だ fact18: 「その慎みは掛かり難くて加えてそれは弱い」ということは間違っている fact19: その慎みは施設見学でない fact20: もし「なんらかのものは掛かり難い一方で弱くない」ということは真実でないならそれはせせこましい fact21: 仮に何かは口分田であるなら「それはめんどい一方で施設見学でない」ということは誤りだ fact22: なんらかのものは磨き続けないとしたら「掛かり難くて弱い」ということは成り立たない fact23: もし仮になんらかの物は恐れ多くないならば「それは斜め方向だ一方で上り易いということはない」ということは成り立たない
fact3 -> int1: その慎みは磨き続けないとしたら「掛かり難いが弱くない」ということは誤りだ; void -> assump1: 以下のように仮定する。「その慎みは磨き続けない」ということは正しい; int1 & assump1 -> int2: 「「その慎みは掛かり難い一方でそれは弱いということはない」ということは偽でない」ということは間違いだ; fact20 -> int3: 仮に「「その慎みは掛かり難いけれど弱くない」ということは成り立たない」ということは誤っていないならそれはせせこましい; int2 & int3 -> int4: その慎みはせせこましい; fact8 -> int5: その慎みがせせこましいとすると施設見学である; int4 & int5 -> int6: その慎みは施設見学だ; int6 & fact19 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その慎みは磨き続けない
fact24 -> int8: もしもその慎みはめんどくないなら「施設見学であるしおまけにそれはせせこましい」ということは成り立たない;
$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$ = 
fact3 -> int1: その慎みは磨き続けないとしたら「掛かり難いが弱くない」ということは誤りだ; void -> assump1: 以下のように仮定する。「その慎みは磨き続けない」ということは正しい; int1 & assump1 -> int2: 「「その慎みは掛かり難い一方でそれは弱いということはない」ということは偽でない」ということは間違いだ; fact20 -> int3: 仮に「「その慎みは掛かり難いけれど弱くない」ということは成り立たない」ということは誤っていないならそれはせせこましい; int2 & int3 -> int4: その慎みはせせこましい; fact8 -> int5: その慎みがせせこましいとすると施設見学である; int4 & int5 -> int6: その慎みは施設見学だ; int6 & fact19 -> int7: これは矛盾である; [assump1] & int7 -> 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. 事実3から、推論1: "その慎みは磨き続けないとしたら「掛かり難いが弱くない」ということは誤りだ"が導かれる
2. 仮定1: 以下のように仮定する。「その慎みは磨き続けない」ということは正しい
3. 推論1と仮定1から、推論2: "「「その慎みは掛かり難い一方でそれは弱いということはない」ということは偽でない」ということは間違いだ"が導かれる
4. 事実20から、推論3: "仮に「「その慎みは掛かり難いけれど弱くない」ということは成り立たない」ということは誤っていないならそれはせせこましい"が導かれる
5. 推論2と推論3から、推論4: "その慎みはせせこましい"が導かれる
6. 事実8から、推論5: "その慎みがせせこましいとすると施設見学である"が導かれる
7. 推論4と推論5から、推論6: "その慎みは施設見学だ"が導かれる
8. 推論6と事実19から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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