「「もし「山深くなくてその上先取りしない」ということは成り立たないとすると硬音でない」物はある」ということは確かであるということはない
fact1: 「「先取りする」ということは真実であるとすれば硬音でない」物はある fact2: 「もし仮に「こそばゆいということはなくてまた長しない」ということは誤りだとすると「通告する」ということは確かな」ものはある fact3: もしも「その初産は山深くないしかつ先取りしない」ということは誤っているとしたら硬音である fact4: 「もし「山深いが先取りしない」ということは嘘ならば硬音でない」ものはある fact5: 仮に「なにがしかのものは山深いけれどそれは先取りしない」ということは成り立たないとすれば硬音でない fact6: 「もし「アラブ諸国でなくて引き易い」ということは成り立たないとすると最もらしくない」物はある fact7: もし山深くないものは先取りしないとすれば「硬音でない」ということは本当だ fact8: 「もし仮に二十パーセント葡萄糖でないしおまけに引き下ろさないなら「青竜寺でない」ということは正しい」ものはある fact9: もし「何らかの物は山深くないし更にそれは先取りしない」ということは成り立つということはないとしたら硬音だ fact10: もしなにがしかの物が先取りするとすれば硬音でない fact11: もしその初産が先取りするとすればそれは硬音でない fact12: もし「その初産は山深いが先取りしない」ということは間違いならそれは硬音でない fact13: 「なにがしかの物は出勤途中でないし更にＡＤＰでない」ということは成り立たないならばそれは任官しない fact14: 「「もしも「西欧近代だがしかし行間でない」ということは嘘であるなら錠前マークでない」物はある」ということは正しい fact15: 「もし「山深いということはなくてかつ先取りしない」ということは偽であるならば硬音な」ものはある fact16: 「「山深くなくてそれに先取りしない」ということは誤っていないとすれば硬音でない」物はある fact17: もし仮にこの伊予水軍が山深くなくて更に二十パーセント葡萄糖でないとすると固しない fact18: 「なんらかのものは山深くなくてかつ先取りするということはない」ということは事実でないなら硬音でない fact19: 「仮に「火葬するけど掛け易くない」ということは間違いであるなら醜くない」物はある
fact18 -> int1: 仮に「その初産は山深いということはなくて先取りしない」ということは確かでないならばそれは硬音でない; int1 -> hypothesis;
fact18 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「「先取りする」ということは真実であるとすれば硬音でない」物はある fact2: 「もし仮に「こそばゆいということはなくてまた長しない」ということは誤りだとすると「通告する」ということは確かな」ものはある fact3: もしも「その初産は山深くないしかつ先取りしない」ということは誤っているとしたら硬音である fact4: 「もし「山深いが先取りしない」ということは嘘ならば硬音でない」ものはある fact5: 仮に「なにがしかのものは山深いけれどそれは先取りしない」ということは成り立たないとすれば硬音でない fact6: 「もし「アラブ諸国でなくて引き易い」ということは成り立たないとすると最もらしくない」物はある fact7: もし山深くないものは先取りしないとすれば「硬音でない」ということは本当だ fact8: 「もし仮に二十パーセント葡萄糖でないしおまけに引き下ろさないなら「青竜寺でない」ということは正しい」ものはある fact9: もし「何らかの物は山深くないし更にそれは先取りしない」ということは成り立つということはないとしたら硬音だ fact10: もしなにがしかの物が先取りするとすれば硬音でない fact11: もしその初産が先取りするとすればそれは硬音でない fact12: もし「その初産は山深いが先取りしない」ということは間違いならそれは硬音でない fact13: 「なにがしかの物は出勤途中でないし更にＡＤＰでない」ということは成り立たないならばそれは任官しない fact14: 「「もしも「西欧近代だがしかし行間でない」ということは嘘であるなら錠前マークでない」物はある」ということは正しい fact15: 「もし「山深いということはなくてかつ先取りしない」ということは偽であるならば硬音な」ものはある fact16: 「「山深くなくてそれに先取りしない」ということは誤っていないとすれば硬音でない」物はある fact17: もし仮にこの伊予水軍が山深くなくて更に二十パーセント葡萄糖でないとすると固しない fact18: 「なんらかのものは山深くなくてかつ先取りするということはない」ということは事実でないなら硬音でない fact19: 「仮に「火葬するけど掛け易くない」ということは間違いであるなら醜くない」物はある ; $hypothesis$ = 「「もし「山深くなくてその上先取りしない」ということは成り立たないとすると硬音でない」物はある」ということは確かであるということはない ; $proof$ = 
fact18 -> int1: 仮に「その初産は山深いということはなくて先取りしない」ということは確かでないならばそれは硬音でない; int1 -> hypothesis; __DISPROVED__
事実1: 「「先取りする」ということは真実であるとすれば硬音でない」物はある
事実2: 「もし仮に「こそばゆいということはなくてまた長しない」ということは誤りだとすると「通告する」ということは確かな」ものはある
事実3: もしも「その初産は山深くないしかつ先取りしない」ということは誤っているとしたら硬音である
事実4: 「もし「山深いが先取りしない」ということは嘘ならば硬音でない」ものはある
事実5: 仮に「なにがしかのものは山深いけれどそれは先取りしない」ということは成り立たないとすれば硬音でない
事実6: 「もし「アラブ諸国でなくて引き易い」ということは成り立たないとすると最もらしくない」物はある
事実7: もし山深くないものは先取りしないとすれば「硬音でない」ということは本当だ
事実8: 「もし仮に二十パーセント葡萄糖でないしおまけに引き下ろさないなら「青竜寺でない」ということは正しい」ものはある
事実9: もし「何らかの物は山深くないし更にそれは先取りしない」ということは成り立つということはないとしたら硬音だ
事実10: もしなにがしかの物が先取りするとすれば硬音でない
事実11: もしその初産が先取りするとすればそれは硬音でない
事実12: もし「その初産は山深いが先取りしない」ということは間違いならそれは硬音でない
事実13: 「なにがしかの物は出勤途中でないし更にＡＤＰでない」ということは成り立たないならばそれは任官しない
事実14: 「「もしも「西欧近代だがしかし行間でない」ということは嘘であるなら錠前マークでない」物はある」ということは正しい
事実15: 「もし「山深いということはなくてかつ先取りしない」ということは偽であるならば硬音な」ものはある
事実16: 「「山深くなくてそれに先取りしない」ということは誤っていないとすれば硬音でない」物はある
事実17: もし仮にこの伊予水軍が山深くなくて更に二十パーセント葡萄糖でないとすると固しない
事実18: 「なんらかのものは山深くなくてかつ先取りするということはない」ということは事実でないなら硬音でない
事実19: 「仮に「火葬するけど掛け易くない」ということは間違いであるなら醜くない」物はある

仮説: 「「もし「山深くなくてその上先取りしない」ということは成り立たないとすると硬音でない」物はある」ということは確かであるということはない
1. 事実18から、推論1: "仮に「その初産は山深いということはなくて先取りしない」ということは確かでないならばそれは硬音でない"が導かれる
2. 推論1から、仮説が否定される

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