「その丸大豆は使い過ぎる」ということは成り立つ
fact1: もし仮になんらかのものは伸展しないとしたら「口汚くて使い過ぎる」ということは成り立たない fact2: もしもその八時半頃は踏み切らないとしたら「その丸大豆はプロ入りしなくて地均ししない」ということは誤りであるということはない fact3: 「「おっかしくないけれど牛乳瓶である」ということは成り立たない」物はある fact4: その武力衝突は立ち働くし当該個人情報である fact5: この関連機器は牛乳瓶であるし誤答だ fact6: もし仮にその丸大豆は根強いし加えて誤答であるならばそれは使い過ぎない fact7: 仮になにかは口汚いとすると「伸展する一方で使い過ぎない」ということは嘘である fact8: もし仮に「「おっかしくないが牛乳瓶である」ということは間違いである」物があればその八時半頃は惜しみ無くない fact9: もしも「なにかは惜しみ無くない」ということは真実であるとすれば「それは弾くし踏み切る」ということは偽である fact10: その丸大豆は厚ししそれは埋没する fact11: あるものはプロ入りするとすれば「それは口汚い」ということは成り立つ fact12: その丸大豆は根強くてまたそれは誤答である fact13: 「その丸大豆は根強くない」ということは偽である fact14: 仮に「とある物は口汚いしその上使い過ぎる」ということは成り立たないとしたら使い過ぎない fact15: もし「とある物が弾くしその上それは踏み切る」ということは成り立たないとすると「それは踏み切らない」ということは嘘だということはない fact16: もし「何らかの物は踏み切らなくて地均ししない」ということは成り立たないとしたらプロ入りする
fact6 & fact12 -> hypothesis;
fact6 & fact12 -> hypothesis;
「その丸大豆は使い過ぎる」ということは正しい
fact17 -> int1: 仮に「その八時半頃は口汚い」ということは成り立てば「それは伸展するし使い過ぎるということはない」ということは誤っている; fact19 -> int2: もしその八時半頃はプロ入りするなら「口汚い」ということは成り立つ; fact18 -> int3: 「その八時半頃が踏み切らないしさらにそれは地均ししない」ということは成り立たないなら「それはプロ入りする」ということは確かだ;
$facts$ = fact1: もし仮になんらかのものは伸展しないとしたら「口汚くて使い過ぎる」ということは成り立たない fact2: もしもその八時半頃は踏み切らないとしたら「その丸大豆はプロ入りしなくて地均ししない」ということは誤りであるということはない fact3: 「「おっかしくないけれど牛乳瓶である」ということは成り立たない」物はある fact4: その武力衝突は立ち働くし当該個人情報である fact5: この関連機器は牛乳瓶であるし誤答だ fact6: もし仮にその丸大豆は根強いし加えて誤答であるならばそれは使い過ぎない fact7: 仮になにかは口汚いとすると「伸展する一方で使い過ぎない」ということは嘘である fact8: もし仮に「「おっかしくないが牛乳瓶である」ということは間違いである」物があればその八時半頃は惜しみ無くない fact9: もしも「なにかは惜しみ無くない」ということは真実であるとすれば「それは弾くし踏み切る」ということは偽である fact10: その丸大豆は厚ししそれは埋没する fact11: あるものはプロ入りするとすれば「それは口汚い」ということは成り立つ fact12: その丸大豆は根強くてまたそれは誤答である fact13: 「その丸大豆は根強くない」ということは偽である fact14: 仮に「とある物は口汚いしその上使い過ぎる」ということは成り立たないとしたら使い過ぎない fact15: もし「とある物が弾くしその上それは踏み切る」ということは成り立たないとすると「それは踏み切らない」ということは嘘だということはない fact16: もし「何らかの物は踏み切らなくて地均ししない」ということは成り立たないとしたらプロ入りする ; $hypothesis$ = 「その丸大豆は使い過ぎる」ということは成り立つ ; $proof$ = 
fact6 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものは伸展しないとしたら「口汚くて使い過ぎる」ということは成り立たない
事実2: もしもその八時半頃は踏み切らないとしたら「その丸大豆はプロ入りしなくて地均ししない」ということは誤りであるということはない
事実3: 「「おっかしくないけれど牛乳瓶である」ということは成り立たない」物はある
事実4: その武力衝突は立ち働くし当該個人情報である
事実5: この関連機器は牛乳瓶であるし誤答だ
事実6: もし仮にその丸大豆は根強いし加えて誤答であるならばそれは使い過ぎない
事実7: 仮になにかは口汚いとすると「伸展する一方で使い過ぎない」ということは嘘である
事実8: もし仮に「「おっかしくないが牛乳瓶である」ということは間違いである」物があればその八時半頃は惜しみ無くない
事実9: もしも「なにかは惜しみ無くない」ということは真実であるとすれば「それは弾くし踏み切る」ということは偽である
事実10: その丸大豆は厚ししそれは埋没する
事実11: あるものはプロ入りするとすれば「それは口汚い」ということは成り立つ
事実12: その丸大豆は根強くてまたそれは誤答である
事実13: 「その丸大豆は根強くない」ということは偽である
事実14: 仮に「とある物は口汚いしその上使い過ぎる」ということは成り立たないとしたら使い過ぎない
事実15: もし「とある物が弾くしその上それは踏み切る」ということは成り立たないとすると「それは踏み切らない」ということは嘘だということはない
事実16: もし「何らかの物は踏み切らなくて地均ししない」ということは成り立たないとしたらプロ入りする

仮説: 「その丸大豆は使い過ぎる」ということは成り立つ
1. 事実6と事実12から、仮説が否定される

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