「「「話し辛くないが作用し合う」ということは嘘であるとすると五県な」物はある」ということは偽である
fact1: 「もし仮に話し辛いとすれば「五県だ」ということは確かである」物はある fact2: もしも「あるものは話し辛くない一方で作用し合う」ということは本当でないならば五県だ fact3: 「仮に「なにがしかの物は御宜しくない一方で覚え易い」ということは成り立たないとすると「買い上げる」ということは本当だ」ということは正しい fact4: 「仮に話し辛くないしおまけに作用し合えば五県である」ものはある fact5: もしもその一審は話し辛くない一方で作用し合うなら五県だ fact6: 「その一審は植え付けないが小子である」ということは誤りだとすると五県である fact7: 「仮に作用し合わないとすると五県である」ものはある fact8: もしも「その一審は話し辛くてかつ作用し合う」ということは成り立つということはないとすると五県である fact9: もしも話し辛いということはない物は作用し合えば五県である fact10: もしも「その一審は作用し合わないけれど覆工コンクリートだ」ということは嘘だとすれば「それは電磁放射線である」ということは成り立つ
fact2 -> int1: もし「その一審は話し辛くないがしかし作用し合う」ということは間違いだとすると五県だ; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に話し辛いとすれば「五県だ」ということは確かである」物はある fact2: もしも「あるものは話し辛くない一方で作用し合う」ということは本当でないならば五県だ fact3: 「仮に「なにがしかの物は御宜しくない一方で覚え易い」ということは成り立たないとすると「買い上げる」ということは本当だ」ということは正しい fact4: 「仮に話し辛くないしおまけに作用し合えば五県である」ものはある fact5: もしもその一審は話し辛くない一方で作用し合うなら五県だ fact6: 「その一審は植え付けないが小子である」ということは誤りだとすると五県である fact7: 「仮に作用し合わないとすると五県である」ものはある fact8: もしも「その一審は話し辛くてかつ作用し合う」ということは成り立つということはないとすると五県である fact9: もしも話し辛いということはない物は作用し合えば五県である fact10: もしも「その一審は作用し合わないけれど覆工コンクリートだ」ということは嘘だとすれば「それは電磁放射線である」ということは成り立つ ; $hypothesis$ = 「「「話し辛くないが作用し合う」ということは嘘であるとすると五県な」物はある」ということは偽である ; $proof$ = 
fact2 -> int1: もし「その一審は話し辛くないがしかし作用し合う」ということは間違いだとすると五県だ; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に話し辛いとすれば「五県だ」ということは確かである」物はある
事実2: もしも「あるものは話し辛くない一方で作用し合う」ということは本当でないならば五県だ
事実3: 「仮に「なにがしかの物は御宜しくない一方で覚え易い」ということは成り立たないとすると「買い上げる」ということは本当だ」ということは正しい
事実4: 「仮に話し辛くないしおまけに作用し合えば五県である」ものはある
事実5: もしもその一審は話し辛くない一方で作用し合うなら五県だ
事実6: 「その一審は植え付けないが小子である」ということは誤りだとすると五県である
事実7: 「仮に作用し合わないとすると五県である」ものはある
事実8: もしも「その一審は話し辛くてかつ作用し合う」ということは成り立つということはないとすると五県である
事実9: もしも話し辛いということはない物は作用し合えば五県である
事実10: もしも「その一審は作用し合わないけれど覆工コンクリートだ」ということは嘘だとすれば「それは電磁放射線である」ということは成り立つ

仮説: 「「「話し辛くないが作用し合う」ということは嘘であるとすると五県な」物はある」ということは偽である
1. 事実2から、推論1: "もし「その一審は話し辛くないがしかし作用し合う」ということは間違いだとすると五県だ"が導かれる
2. 推論1から、仮説が否定される

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