あの清潔保持は凄い
fact1: その地殻変動は完全競争下だがしかしそれは分かり辛くない fact2: あの貴金属は分かり辛くない fact3: 仮にとある物は交通論だとすると「それは分かり辛いし加えてしょっぴかない」ということは確かでない fact4: もしこの日本侵略が交通論であるならばあの貴金属は交通論だ fact5: もし「何らかのものは修築するかもしくはそれは分かり辛くないかあるいは両方ともである」ということは間違いであるとしたら「それは凄くない」ということは確かである fact6: あの水晶体後面は修築する fact7: 仮にあの貴金属が世話でなくてそれに修築しないならあの清潔保持は修築する fact8: 仮にこの日本侵略が分かり辛いということはないならその地殻変動はしょっぴかない fact9: あの貴金属は世話である fact10: あの貴金属は修築する fact11: もし「なにかは分かり辛いがしかしそれはしょっぴかない」ということは成り立たないならば分かり辛くない fact12: この踊りは完全競争下でない fact13: この日本侵略はせせこましいかもしくは完全競争下であるか両方である fact14: もし何らかの物は修築するとしたら「凄い」ということは成り立つ fact15: もしもその地殻変動がしょっぴかないしさらに交通論でないとするとあの清潔保持は凄くない fact16: その地殻変動は生々しい一方で大笑いしない fact17: あの清潔保持はせせこましくない fact18: もしあの貴金属は修築するしさらに世話であるとすると「この日本侵略は分かり辛くない」ということは正しい fact19: もし仮になにかは生々しいとすれば「せせこましいかもしくはそれは完全競争下であるということはないかもしくは両方ともである」ということは誤りである fact20: 「何らかのものはせせこましいかあるいは完全競争下でないかもしくは両方ともである」ということは事実と異なるとすると交通論でない fact21: あの貴金属は凄い
fact10 & fact9 -> int1: あの貴金属は修築するしその上世話だ; int1 & fact18 -> int2: この日本侵略は分かり辛くない; int2 & fact8 -> int3: その地殻変動はしょっぴかない; fact16 -> int4: その地殻変動は生々しい; fact19 -> int5: 仮にその地殻変動は生々しいとすると「それはせせこましいかもしくは完全競争下でないかもしくは両方ともである」ということは事実と異なる; int4 & int5 -> int6: 「その地殻変動はせせこましいかまたはそれは完全競争下でない」ということは間違いだ; fact20 -> int7: もし「その地殻変動はせせこましいかあるいは完全競争下でない」ということは嘘ならば交通論であるということはない; int6 & int7 -> int8: その地殻変動は交通論であるということはない; int3 & int8 -> int9: その地殻変動はしょっぴかないししかも交通論でない; int9 & fact15 -> hypothesis;
あの清潔保持は凄い
fact26 -> int10: あの清潔保持は修築するとすると「それは凄い」ということは真実である; fact23 -> int11: もしも「あの貴金属は分かり辛いがしかししょっぴくということはない」ということは成り立つということはないとするとそれは分かり辛くない; fact25 -> int12: 「あの貴金属は交通論であるなら「あの貴金属は分かり辛いがしかしそれはしょっぴかない」ということは偽だ」ということは正しい;
$facts$ = fact1: その地殻変動は完全競争下だがしかしそれは分かり辛くない fact2: あの貴金属は分かり辛くない fact3: 仮にとある物は交通論だとすると「それは分かり辛いし加えてしょっぴかない」ということは確かでない fact4: もしこの日本侵略が交通論であるならばあの貴金属は交通論だ fact5: もし「何らかのものは修築するかもしくはそれは分かり辛くないかあるいは両方ともである」ということは間違いであるとしたら「それは凄くない」ということは確かである fact6: あの水晶体後面は修築する fact7: 仮にあの貴金属が世話でなくてそれに修築しないならあの清潔保持は修築する fact8: 仮にこの日本侵略が分かり辛いということはないならその地殻変動はしょっぴかない fact9: あの貴金属は世話である fact10: あの貴金属は修築する fact11: もし「なにかは分かり辛いがしかしそれはしょっぴかない」ということは成り立たないならば分かり辛くない fact12: この踊りは完全競争下でない fact13: この日本侵略はせせこましいかもしくは完全競争下であるか両方である fact14: もし何らかの物は修築するとしたら「凄い」ということは成り立つ fact15: もしもその地殻変動がしょっぴかないしさらに交通論でないとするとあの清潔保持は凄くない fact16: その地殻変動は生々しい一方で大笑いしない fact17: あの清潔保持はせせこましくない fact18: もしあの貴金属は修築するしさらに世話であるとすると「この日本侵略は分かり辛くない」ということは正しい fact19: もし仮になにかは生々しいとすれば「せせこましいかもしくはそれは完全競争下であるということはないかもしくは両方ともである」ということは誤りである fact20: 「何らかのものはせせこましいかあるいは完全競争下でないかもしくは両方ともである」ということは事実と異なるとすると交通論でない fact21: あの貴金属は凄い ; $hypothesis$ = あの清潔保持は凄い ; $proof$ = 
fact10 & fact9 -> int1: あの貴金属は修築するしその上世話だ; int1 & fact18 -> int2: この日本侵略は分かり辛くない; int2 & fact8 -> int3: その地殻変動はしょっぴかない; fact16 -> int4: その地殻変動は生々しい; fact19 -> int5: 仮にその地殻変動は生々しいとすると「それはせせこましいかもしくは完全競争下でないかもしくは両方ともである」ということは事実と異なる; int4 & int5 -> int6: 「その地殻変動はせせこましいかまたはそれは完全競争下でない」ということは間違いだ; fact20 -> int7: もし「その地殻変動はせせこましいかあるいは完全競争下でない」ということは嘘ならば交通論であるということはない; int6 & int7 -> int8: その地殻変動は交通論であるということはない; int3 & int8 -> int9: その地殻変動はしょっぴかないししかも交通論でない; int9 & fact15 -> hypothesis; __DISPROVED__
事実1: その地殻変動は完全競争下だがしかしそれは分かり辛くない
事実2: あの貴金属は分かり辛くない
事実3: 仮にとある物は交通論だとすると「それは分かり辛いし加えてしょっぴかない」ということは確かでない
事実4: もしこの日本侵略が交通論であるならばあの貴金属は交通論だ
事実5: もし「何らかのものは修築するかもしくはそれは分かり辛くないかあるいは両方ともである」ということは間違いであるとしたら「それは凄くない」ということは確かである
事実6: あの水晶体後面は修築する
事実7: 仮にあの貴金属が世話でなくてそれに修築しないならあの清潔保持は修築する
事実8: 仮にこの日本侵略が分かり辛いということはないならその地殻変動はしょっぴかない
事実9: あの貴金属は世話である
事実10: あの貴金属は修築する
事実11: もし「なにかは分かり辛いがしかしそれはしょっぴかない」ということは成り立たないならば分かり辛くない
事実12: この踊りは完全競争下でない
事実13: この日本侵略はせせこましいかもしくは完全競争下であるか両方である
事実14: もし何らかの物は修築するとしたら「凄い」ということは成り立つ
事実15: もしもその地殻変動がしょっぴかないしさらに交通論でないとするとあの清潔保持は凄くない
事実16: その地殻変動は生々しい一方で大笑いしない
事実17: あの清潔保持はせせこましくない
事実18: もしあの貴金属は修築するしさらに世話であるとすると「この日本侵略は分かり辛くない」ということは正しい
事実19: もし仮になにかは生々しいとすれば「せせこましいかもしくはそれは完全競争下であるということはないかもしくは両方ともである」ということは誤りである
事実20: 「何らかのものはせせこましいかあるいは完全競争下でないかもしくは両方ともである」ということは事実と異なるとすると交通論でない
事実21: あの貴金属は凄い

仮説: あの清潔保持は凄い
1. 事実10と事実9から、推論1: "あの貴金属は修築するしその上世話だ"が導かれる
2. 推論1と事実18から、推論2: "この日本侵略は分かり辛くない"が導かれる
3. 推論2と事実8から、推論3: "その地殻変動はしょっぴかない"が導かれる
4. 事実16から、推論4: "その地殻変動は生々しい"が導かれる
5. 事実19から、推論5: "仮にその地殻変動は生々しいとすると「それはせせこましいかもしくは完全競争下でないかもしくは両方ともである」ということは事実と異なる"が導かれる
6. 推論4と推論5から、推論6: "「その地殻変動はせせこましいかまたはそれは完全競争下でない」ということは間違いだ"が導かれる
7. 事実20から、推論7: "もし「その地殻変動はせせこましいかあるいは完全競争下でない」ということは嘘ならば交通論であるということはない"が導かれる
8. 推論6と推論7から、推論8: "その地殻変動は交通論であるということはない"が導かれる
9. 推論3と推論8から、推論9: "その地殻変動はしょっぴかないししかも交通論でない"が導かれる
10. 推論9と事実15から、仮説が否定される

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