その二対子は心無くない
fact1: もし「なにかはＳ市旧家屋でなくてかつ慢性呼吸不全でない」ということは成り立たないなら心無くない fact2: 「この免疫は偏在するということはないしおまけに好き嫌いでない」ということは嘘であるとしたらこの折り紙付きは偏在しない fact3: この折り紙付きは御し易いということはない fact4: 「「この折り紙付きは如何わしくない一方で江畑さん達だ」ということは本当だ」ということは誤っている fact5: 「この免疫は振る舞えるしおまけにそれは江畑さん達だ」ということは確かでない fact6: 仮に「この折り紙付きは慢性呼吸不全でないがしかしＳ市旧家屋だ」ということは成り立たないとするとそれは江畑さん達だということはない fact7: もし「この各任命権者は御し易くないし如何わしくない」ということは事実と異なるとしたらＳ市旧家屋でない fact8: もしもこの各任命権者が江畑さん達でないとすればそのコネはＳ市旧家屋でないしそれは慢性呼吸不全でない fact9: この免疫は証取法だ fact10: なにがしかの物がＳ市旧家屋でなくて更にそれは慢性呼吸不全でないとしたらそれは如何わしくない fact11: この免疫はＳ市旧家屋でない一方で屈曲する fact12: 仮にこの免疫はやばくないとすると「それは偏在しないし好き嫌いでない」ということは間違いだ fact13: 仮にこの各任命権者が御し易いがしかし如何わしくないならばその二対子は心無い fact14: 仮にこの折り紙付きは江畑さん達でないなら「この免疫は振る舞えない一方で江畑さん達だ」ということは嘘だ fact15: この免疫が証取法だとしたら振る舞えないけど江畑さん達だ fact16: もし仮に何らかの物は証取法でないとしたら「心無くない」ということは事実だ fact17: 「この免疫はやばくない」ということは成り立つ fact18: この免疫は振る舞えない fact19: 仮にこの各任命権者はＳ市旧家屋でないとすれば「この折り紙付きは慢性呼吸不全でないがそれはＳ市旧家屋である」ということは間違いだ fact20: 「この各任命権者は御し易いけれどそれは如何わしいということはない」ということは正しくない fact21: もし仮に「この折り紙付きは気恥ずかしいし加えて証取法だ」ということは間違いだとするとこの各任命権者は証取法でない fact22: もしなにがしかのものは心無いということはないとすれば「それは振る舞えるし加えて江畑さん達だ」ということは間違いだ fact23: もしも何らかの物は偏在しないならば「それは気恥ずかしくてまた証取法だ」ということは誤っている fact24: もしこの各任命権者が御し易くないしまた如何わしくないとすればその二対子は心無い
void -> assump1: 以下のように仮定する。「この各任命権者は御し易くないしかつ如何わしくない」ということは事実と異なる; fact7 & assump1 -> int1: この各任命権者はＳ市旧家屋であるということはない; int1 & fact19 -> int2: 「この折り紙付きは慢性呼吸不全でない一方でそれはＳ市旧家屋だ」ということは成り立たない; int2 & fact6 -> int3: この折り紙付きは江畑さん達でない; int3 & fact14 -> int4: 「この免疫は振る舞えないけどそれは江畑さん達だ」ということは嘘である; fact15 & fact9 -> int5: この免疫は振る舞えない一方で江畑さん達である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この各任命権者は御し易いということはないし如何わしくない; int7 & fact24 -> hypothesis;
その二対子は心無いということはない
fact25 -> 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: もしも何らかの物は偏在しないならば「それは気恥ずかしくてまた証取法だ」ということは誤っている fact24: もしこの各任命権者が御し易くないしまた如何わしくないとすればその二対子は心無い ; $hypothesis$ = その二対子は心無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この各任命権者は御し易くないしかつ如何わしくない」ということは事実と異なる; fact7 & assump1 -> int1: この各任命権者はＳ市旧家屋であるということはない; int1 & fact19 -> int2: 「この折り紙付きは慢性呼吸不全でない一方でそれはＳ市旧家屋だ」ということは成り立たない; int2 & fact6 -> int3: この折り紙付きは江畑さん達でない; int3 & fact14 -> int4: 「この免疫は振る舞えないけどそれは江畑さん達だ」ということは嘘である; fact15 & fact9 -> int5: この免疫は振る舞えない一方で江畑さん達である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この各任命権者は御し易いということはないし如何わしくない; int7 & fact24 -> 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: もしも何らかの物は偏在しないならば「それは気恥ずかしくてまた証取法だ」ということは誤っている
事実24: もしこの各任命権者が御し易くないしまた如何わしくないとすればその二対子は心無い

仮説: その二対子は心無くない
1. 仮定1: 以下のように仮定する。「この各任命権者は御し易くないしかつ如何わしくない」ということは事実と異なる
2. 事実7と仮定1から、推論1: "この各任命権者はＳ市旧家屋であるということはない"が導かれる
3. 推論1と事実19から、推論2: "「この折り紙付きは慢性呼吸不全でない一方でそれはＳ市旧家屋だ」ということは成り立たない"が導かれる
4. 推論2と事実6から、推論3: "この折り紙付きは江畑さん達でない"が導かれる
5. 推論3と事実14から、推論4: "「この免疫は振る舞えないけどそれは江畑さん達だ」ということは嘘である"が導かれる
6. 事実15と事実9から、推論5: "この免疫は振る舞えない一方で江畑さん達である"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この各任命権者は御し易いということはないし如何わしくない"が導かれる
9. 推論7と事実24から、仮説が否定される

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