その強気はどぎつい
fact1: 「「蔵すない」ということは間違っていない」ものはある fact2: 「「行かない」ということは真実である」ものはあるなら「その強気はどぎつかないが模写する」ということは本当でない fact3: もし「蔵すない」物はあるとすると「あの落花生は行くしさらに模写する」ということは成り立たない fact4: 「生きない」ものはある fact5: 仮になにかは蔵すないとしたら「あの落花生は行かない一方で模写する」ということは成り立つということはない fact6: もし「「あの落花生は行かない一方でそれは模写する」ということは嘘でない」ということは誤っているならその強気はどぎつかない fact7: もし仮に「なんらかのものはどぎつかない」ということは事実であるとしたら「あの落花生は模写しないけれどそれは行く」ということは間違いである fact8: 「「あの落花生はどぎつかないがしかしそれは模写する」ということは偽だとしたらその強気は行かない」ということは間違いだということはない fact9: あの落花生が行くとするとその強気はどぎつかない fact10: 「蔵す」物はある fact11: とあるものは主材でない fact12: 「あの落花生は行くししかもそれは模写する」ということは成り立たない fact13: 「行かない」ものはある fact14: あの落花生は水場でない fact15: もし仮に「どぎつかない」物はあれば「その強気は模写しないが行く」ということは間違いである fact16: もしも「あの落花生は行かないがどぎつい」ということは成り立たないならば「その強気は模写しない」ということは成り立つ fact17: 「模写しない」ものはある fact18: その強気は有り難がらない fact19: もしも「模写するということはない」ものはあるとすれば「その強気はどぎついということはないがしかしそれは行く」ということは誤っている fact20: もし仮に「その強気は模写しないけどそれは行く」ということは成り立たないとしたらあの落花生はどぎついということはない
fact1 & fact5 -> int1: 「「「あの落花生は行くということはないけれど模写する」ということは正しい」ということは偽である」ということは成り立つ; int1 & fact6 -> hypothesis;
$facts$ = fact1: 「「蔵すない」ということは間違っていない」ものはある fact2: 「「行かない」ということは真実である」ものはあるなら「その強気はどぎつかないが模写する」ということは本当でない fact3: もし「蔵すない」物はあるとすると「あの落花生は行くしさらに模写する」ということは成り立たない fact4: 「生きない」ものはある fact5: 仮になにかは蔵すないとしたら「あの落花生は行かない一方で模写する」ということは成り立つということはない fact6: もし「「あの落花生は行かない一方でそれは模写する」ということは嘘でない」ということは誤っているならその強気はどぎつかない fact7: もし仮に「なんらかのものはどぎつかない」ということは事実であるとしたら「あの落花生は模写しないけれどそれは行く」ということは間違いである fact8: 「「あの落花生はどぎつかないがしかしそれは模写する」ということは偽だとしたらその強気は行かない」ということは間違いだということはない fact9: あの落花生が行くとするとその強気はどぎつかない fact10: 「蔵す」物はある fact11: とあるものは主材でない fact12: 「あの落花生は行くししかもそれは模写する」ということは成り立たない fact13: 「行かない」ものはある fact14: あの落花生は水場でない fact15: もし仮に「どぎつかない」物はあれば「その強気は模写しないが行く」ということは間違いである fact16: もしも「あの落花生は行かないがどぎつい」ということは成り立たないならば「その強気は模写しない」ということは成り立つ fact17: 「模写しない」ものはある fact18: その強気は有り難がらない fact19: もしも「模写するということはない」ものはあるとすれば「その強気はどぎついということはないがしかしそれは行く」ということは誤っている fact20: もし仮に「その強気は模写しないけどそれは行く」ということは成り立たないとしたらあの落花生はどぎついということはない ; $hypothesis$ = その強気はどぎつい ; $proof$ = 
fact1 & fact5 -> int1: 「「「あの落花生は行くということはないけれど模写する」ということは正しい」ということは偽である」ということは成り立つ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「蔵すない」ということは間違っていない」ものはある
事実2: 「「行かない」ということは真実である」ものはあるなら「その強気はどぎつかないが模写する」ということは本当でない
事実3: もし「蔵すない」物はあるとすると「あの落花生は行くしさらに模写する」ということは成り立たない
事実4: 「生きない」ものはある
事実5: 仮になにかは蔵すないとしたら「あの落花生は行かない一方で模写する」ということは成り立つということはない
事実6: もし「「あの落花生は行かない一方でそれは模写する」ということは嘘でない」ということは誤っているならその強気はどぎつかない
事実7: もし仮に「なんらかのものはどぎつかない」ということは事実であるとしたら「あの落花生は模写しないけれどそれは行く」ということは間違いである
事実8: 「「あの落花生はどぎつかないがしかしそれは模写する」ということは偽だとしたらその強気は行かない」ということは間違いだということはない
事実9: あの落花生が行くとするとその強気はどぎつかない
事実10: 「蔵す」物はある
事実11: とあるものは主材でない
事実12: 「あの落花生は行くししかもそれは模写する」ということは成り立たない
事実13: 「行かない」ものはある
事実14: あの落花生は水場でない
事実15: もし仮に「どぎつかない」物はあれば「その強気は模写しないが行く」ということは間違いである
事実16: もしも「あの落花生は行かないがどぎつい」ということは成り立たないならば「その強気は模写しない」ということは成り立つ
事実17: 「模写しない」ものはある
事実18: その強気は有り難がらない
事実19: もしも「模写するということはない」ものはあるとすれば「その強気はどぎついということはないがしかしそれは行く」ということは誤っている
事実20: もし仮に「その強気は模写しないけどそれは行く」ということは成り立たないとしたらあの落花生はどぎついということはない

仮説: その強気はどぎつい
1. 事実1と事実5から、推論1: "「「「あの落花生は行くということはないけれど模写する」ということは正しい」ということは偽である」ということは成り立つ"が導かれる
2. 推論1と事実6から、仮説が否定される

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