「この前橋教会はランク付けするし加えて会わす」ということは成り立たない
fact1: 「この前橋教会は苦笑する一方でそれは枯らさない」ということは偽である fact2: 「「苦笑しないし晴れがましい」ということは成り立たない」物はある fact3: 「この重要生息地が晴れはましくらなくて平均主義的賃金制度でない」ということは成り立つということはない fact4: 「この就職難は苦笑するけど晴れはましくらない」ということは誤りだ fact5: なんらかの物は会わす fact6: もし「「苦笑しないしおまけに晴れがましいということはない」ということは間違っている」物があればこの前橋教会はランク付けする fact7: 「この前橋教会は安堵し難いということはないし更に苦笑しない」ということは成り立たない fact8: 「この前橋教会は会わすけどそれは安堵し難くない」ということは正しくない fact9: 「この前橋教会は苦笑しないしさらに安堵し難くない」ということは誤っている fact10: もし仮に「とある物はくゆらさないし周波数範囲でない」ということは真実でないとすればそれはくゆらす fact11: もしも「会わす」ものはあるとすると「この前橋教会は会わすがそれは安堵し難くない」ということは成り立たない fact12: もし仮になにがしかのものが苦笑すればこの前橋教会はランク付けする fact13: もし「会わす」ものはあるとすれば「この前橋教会は会わさないしまた安堵し難くない」ということは成り立たない fact14: もしもこのリソースレコードは湿潤しないとすると「この前橋教会はランク付けするしかつ会わす」ということは成り立たない fact15: 「この就職難は二段階法でないし安堵し難くない」ということは成り立つということはない fact16: 「苦笑しなくて晴れがましいということはない」ものはある fact17: もしも「何らかのものは長期共済保有高でないが三層交流機だ」ということは成り立たないならばＥＫＤだ fact18: もし「「何かは会わさないし加えて安堵し難くない」ということは正しい」ということは嘘だとするとそれは会わす fact19: 「この就職難は苦笑するということはなくて更にそれは晴れがましいということはない」ということは成り立たない fact20: 仮に抗アレルギー性はあるとすると「この就職難は抗アレルギー性だが救い難くない」ということは成り立たない fact21: もし仮にあるものがＥＫＤならばそれは安堵し難い fact22: もしも「なんらかの物は湿潤するかまたは安堵し難い」ということは成り立たないとするとそれは会わさない
fact19 -> int1: 「「苦笑しないし晴れがましくらない」ということは本当でない」ものはある; int1 & fact6 -> int2: この前橋教会はランク付けする; fact18 -> int3: もしも「この前橋教会は会わさないし安堵し難くない」ということは嘘だとすると「それは会わす」ということは確かである; fact5 & fact13 -> int4: 「この前橋教会は会わさないしおまけにそれは安堵し難いということはない」ということは成り立たない; int3 & int4 -> int5: この前橋教会は会わす; int2 & int5 -> hypothesis;
fact19 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact6 -> int2: {A}{a}; fact18 -> int3: ¬(¬{B}{a} & ¬{D}{a}) -> {B}{a}; fact5 & fact13 -> int4: ¬(¬{B}{a} & ¬{D}{a}); int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
「この前橋教会はランク付けするしそれにそれは会わす」ということは成り立たない
fact23 -> int6: 仮にこの京挽きはＥＫＤであるとしたら安堵し難い; fact24 -> int7: もしも「この京挽きは長期共済保有高でないけれど三層交流機である」ということは真実でないならばそれはＥＫＤである;
$facts$ = fact1: 「この前橋教会は苦笑する一方でそれは枯らさない」ということは偽である fact2: 「「苦笑しないし晴れがましい」ということは成り立たない」物はある fact3: 「この重要生息地が晴れはましくらなくて平均主義的賃金制度でない」ということは成り立つということはない fact4: 「この就職難は苦笑するけど晴れはましくらない」ということは誤りだ fact5: なんらかの物は会わす fact6: もし「「苦笑しないしおまけに晴れがましいということはない」ということは間違っている」物があればこの前橋教会はランク付けする fact7: 「この前橋教会は安堵し難いということはないし更に苦笑しない」ということは成り立たない fact8: 「この前橋教会は会わすけどそれは安堵し難くない」ということは正しくない fact9: 「この前橋教会は苦笑しないしさらに安堵し難くない」ということは誤っている fact10: もし仮に「とある物はくゆらさないし周波数範囲でない」ということは真実でないとすればそれはくゆらす fact11: もしも「会わす」ものはあるとすると「この前橋教会は会わすがそれは安堵し難くない」ということは成り立たない fact12: もし仮になにがしかのものが苦笑すればこの前橋教会はランク付けする fact13: もし「会わす」ものはあるとすれば「この前橋教会は会わさないしまた安堵し難くない」ということは成り立たない fact14: もしもこのリソースレコードは湿潤しないとすると「この前橋教会はランク付けするしかつ会わす」ということは成り立たない fact15: 「この就職難は二段階法でないし安堵し難くない」ということは成り立つということはない fact16: 「苦笑しなくて晴れがましいということはない」ものはある fact17: もしも「何らかのものは長期共済保有高でないが三層交流機だ」ということは成り立たないならばＥＫＤだ fact18: もし「「何かは会わさないし加えて安堵し難くない」ということは正しい」ということは嘘だとするとそれは会わす fact19: 「この就職難は苦笑するということはなくて更にそれは晴れがましいということはない」ということは成り立たない fact20: 仮に抗アレルギー性はあるとすると「この就職難は抗アレルギー性だが救い難くない」ということは成り立たない fact21: もし仮にあるものがＥＫＤならばそれは安堵し難い fact22: もしも「なんらかの物は湿潤するかまたは安堵し難い」ということは成り立たないとするとそれは会わさない ; $hypothesis$ = 「この前橋教会はランク付けするし加えて会わす」ということは成り立たない ; $proof$ = 
fact19 -> int1: 「「苦笑しないし晴れがましくらない」ということは本当でない」ものはある; int1 & fact6 -> int2: この前橋教会はランク付けする; fact18 -> int3: もしも「この前橋教会は会わさないし安堵し難くない」ということは嘘だとすると「それは会わす」ということは確かである; fact5 & fact13 -> int4: 「この前橋教会は会わさないしおまけにそれは安堵し難いということはない」ということは成り立たない; int3 & int4 -> int5: この前橋教会は会わす; int2 & int5 -> hypothesis; __DISPROVED__
事実1: 「この前橋教会は苦笑する一方でそれは枯らさない」ということは偽である
事実2: 「「苦笑しないし晴れがましい」ということは成り立たない」物はある
事実3: 「この重要生息地が晴れはましくらなくて平均主義的賃金制度でない」ということは成り立つということはない
事実4: 「この就職難は苦笑するけど晴れはましくらない」ということは誤りだ
事実5: なんらかの物は会わす
事実6: もし「「苦笑しないしおまけに晴れがましいということはない」ということは間違っている」物があればこの前橋教会はランク付けする
事実7: 「この前橋教会は安堵し難いということはないし更に苦笑しない」ということは成り立たない
事実8: 「この前橋教会は会わすけどそれは安堵し難くない」ということは正しくない
事実9: 「この前橋教会は苦笑しないしさらに安堵し難くない」ということは誤っている
事実10: もし仮に「とある物はくゆらさないし周波数範囲でない」ということは真実でないとすればそれはくゆらす
事実11: もしも「会わす」ものはあるとすると「この前橋教会は会わすがそれは安堵し難くない」ということは成り立たない
事実12: もし仮になにがしかのものが苦笑すればこの前橋教会はランク付けする
事実13: もし「会わす」ものはあるとすれば「この前橋教会は会わさないしまた安堵し難くない」ということは成り立たない
事実14: もしもこのリソースレコードは湿潤しないとすると「この前橋教会はランク付けするしかつ会わす」ということは成り立たない
事実15: 「この就職難は二段階法でないし安堵し難くない」ということは成り立つということはない
事実16: 「苦笑しなくて晴れがましいということはない」ものはある
事実17: もしも「何らかのものは長期共済保有高でないが三層交流機だ」ということは成り立たないならばＥＫＤだ
事実18: もし「「何かは会わさないし加えて安堵し難くない」ということは正しい」ということは嘘だとするとそれは会わす
事実19: 「この就職難は苦笑するということはなくて更にそれは晴れがましいということはない」ということは成り立たない
事実20: 仮に抗アレルギー性はあるとすると「この就職難は抗アレルギー性だが救い難くない」ということは成り立たない
事実21: もし仮にあるものがＥＫＤならばそれは安堵し難い
事実22: もしも「なんらかの物は湿潤するかまたは安堵し難い」ということは成り立たないとするとそれは会わさない

仮説: 「この前橋教会はランク付けするし加えて会わす」ということは成り立たない
1. 事実19から、推論1: "「「苦笑しないし晴れがましくらない」ということは本当でない」ものはある"が導かれる
2. 推論1と事実6から、推論2: "この前橋教会はランク付けする"が導かれる
3. 事実18から、推論3: "もしも「この前橋教会は会わさないし安堵し難くない」ということは嘘だとすると「それは会わす」ということは確かである"が導かれる
4. 事実5と事実13から、推論4: "「この前橋教会は会わさないしおまけにそれは安堵し難いということはない」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "この前橋教会は会わす"が導かれる
6. 推論2と推論5から、仮説が否定される

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