その丸ごとはサービスしないか空々しいか両方である
fact1: 「「進み掛けなくて四角くない」ということは成り立たない」物はある fact2: とある物がたどたどしくない一方で日本株であるならばそれは盗掘する fact3: もしあのＢ町は空々しいということはないなら「その丸ごとはどでかくないかあるいは空々しいかあるいは両方だ」ということは間違いだ fact4: 仮に「あのＢ町は空々しかない」ということは事実であるとすると「その丸ごとはサービスしないかあるいは空々しいかあるいは両方ともである」ということは誤っている fact5: もし仮に「この友情は素人っぽい」ということは誤りだということはないとしたらあの通商は利き過ぎる fact6: もし仮になんらかのものがかわゆいとしたらこの友情はかわゆいかあるいはそれは素人っぽいか両方ともである fact7: 「「かわゆい」ということは間違っていない」ものはある fact8: どでかいものがサービスするとすると空々しかない fact9: もしもこの友情がかわゆいとしたらあの通商は利き過ぎる fact10: どれもこれもはどでかくておまけに盗掘する fact11: あのＢ町は盗掘する fact12: どでかくない物はサービスしないか空々しいかどちらもだ fact13: あるものが利き過ぎれば論考しなくてそれは一因子でない fact14: つれないものが信心深いとしたらそれは空々しかない fact15: 「「全てのものは盗掘する」ということは正しい」ということは事実と異ならない fact16: もし仮に「なにかは論考するということはないし加えてそれは一因子でない」ということは本当であるとすればどでかい fact17: もし「「「進み掛けなくてしかも四角いということはない」ということは事実と異なる」ものはある」ということは確かであるとしたらこの青瓜は司法書士でない fact18: その丸ごとは空々しかない fact19: もしあのＢ町が空々しいということはないならばその丸ごとは空々しかない fact20: 何かはどでかいしまた盗掘すれば空々しかない
fact10 -> int1: あのＢ町はどでかいしその上盗掘する; fact20 -> int2: もしもあのＢ町はどでかいし更に盗掘すれば空々しかない; int1 & int2 -> int3: あのＢ町は空々しいということはない; int3 & fact4 -> hypothesis;
その丸ごとはサービスしないかもしくは空々しいか両方ともである
fact30 -> int4: 仮に「その丸ごとはどでかくない」ということは成り立つとしたらサービスしないかまたはそれは空々しいか両方ともだ; fact24 -> int5: あの通商が論考しなくてしかも一因子でないならそれはどでかい; fact29 -> int6: もしもあの通商が利き過ぎるとすれば論考しなくて一因子でない; fact25 & fact28 -> int7: この友情はかわゆいかそれは素人っぽいかあるいは両方ともである; int7 & fact22 & fact23 -> int8: あの通商は利き過ぎる; int6 & int8 -> int9: あの通商は論考するということはないしそれは一因子でない; int5 & int9 -> int10: あの通商はどでかい; fact27 -> int11: もしあの通商はたどたどしくないけど日本株だとしたら盗掘する; fact21 & fact26 -> int12: この青瓜は司法書士でない; int12 -> int13: 「司法書士でない」ものはある;
$facts$ = fact1: 「「進み掛けなくて四角くない」ということは成り立たない」物はある fact2: とある物がたどたどしくない一方で日本株であるならばそれは盗掘する fact3: もしあのＢ町は空々しいということはないなら「その丸ごとはどでかくないかあるいは空々しいかあるいは両方だ」ということは間違いだ fact4: 仮に「あのＢ町は空々しかない」ということは事実であるとすると「その丸ごとはサービスしないかあるいは空々しいかあるいは両方ともである」ということは誤っている fact5: もし仮に「この友情は素人っぽい」ということは誤りだということはないとしたらあの通商は利き過ぎる fact6: もし仮になんらかのものがかわゆいとしたらこの友情はかわゆいかあるいはそれは素人っぽいか両方ともである fact7: 「「かわゆい」ということは間違っていない」ものはある fact8: どでかいものがサービスするとすると空々しかない fact9: もしもこの友情がかわゆいとしたらあの通商は利き過ぎる fact10: どれもこれもはどでかくておまけに盗掘する fact11: あのＢ町は盗掘する fact12: どでかくない物はサービスしないか空々しいかどちらもだ fact13: あるものが利き過ぎれば論考しなくてそれは一因子でない fact14: つれないものが信心深いとしたらそれは空々しかない fact15: 「「全てのものは盗掘する」ということは正しい」ということは事実と異ならない fact16: もし仮に「なにかは論考するということはないし加えてそれは一因子でない」ということは本当であるとすればどでかい fact17: もし「「「進み掛けなくてしかも四角いということはない」ということは事実と異なる」ものはある」ということは確かであるとしたらこの青瓜は司法書士でない fact18: その丸ごとは空々しかない fact19: もしあのＢ町が空々しいということはないならばその丸ごとは空々しかない fact20: 何かはどでかいしまた盗掘すれば空々しかない ; $hypothesis$ = その丸ごとはサービスしないか空々しいか両方である ; $proof$ = 
fact10 -> int1: あのＢ町はどでかいしその上盗掘する; fact20 -> int2: もしもあのＢ町はどでかいし更に盗掘すれば空々しかない; int1 & int2 -> int3: あのＢ町は空々しいということはない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 「「進み掛けなくて四角くない」ということは成り立たない」物はある
事実2: とある物がたどたどしくない一方で日本株であるならばそれは盗掘する
事実3: もしあのＢ町は空々しいということはないなら「その丸ごとはどでかくないかあるいは空々しいかあるいは両方だ」ということは間違いだ
事実4: 仮に「あのＢ町は空々しかない」ということは事実であるとすると「その丸ごとはサービスしないかあるいは空々しいかあるいは両方ともである」ということは誤っている
事実5: もし仮に「この友情は素人っぽい」ということは誤りだということはないとしたらあの通商は利き過ぎる
事実6: もし仮になんらかのものがかわゆいとしたらこの友情はかわゆいかあるいはそれは素人っぽいか両方ともである
事実7: 「「かわゆい」ということは間違っていない」ものはある
事実8: どでかいものがサービスするとすると空々しかない
事実9: もしもこの友情がかわゆいとしたらあの通商は利き過ぎる
事実10: どれもこれもはどでかくておまけに盗掘する
事実11: あのＢ町は盗掘する
事実12: どでかくない物はサービスしないか空々しいかどちらもだ
事実13: あるものが利き過ぎれば論考しなくてそれは一因子でない
事実14: つれないものが信心深いとしたらそれは空々しかない
事実15: 「「全てのものは盗掘する」ということは正しい」ということは事実と異ならない
事実16: もし仮に「なにかは論考するということはないし加えてそれは一因子でない」ということは本当であるとすればどでかい
事実17: もし「「「進み掛けなくてしかも四角いということはない」ということは事実と異なる」ものはある」ということは確かであるとしたらこの青瓜は司法書士でない
事実18: その丸ごとは空々しかない
事実19: もしあのＢ町が空々しいということはないならばその丸ごとは空々しかない
事実20: 何かはどでかいしまた盗掘すれば空々しかない

仮説: その丸ごとはサービスしないか空々しいか両方である
1. 事実10から、推論1: "あのＢ町はどでかいしその上盗掘する"が導かれる
2. 事実20から、推論2: "もしもあのＢ町はどでかいし更に盗掘すれば空々しかない"が導かれる
3. 推論1と推論2から、推論3: "あのＢ町は空々しいということはない"が導かれる
4. 推論3と事実4から、仮説が否定される

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