このＫ＝Ｇモデルは遠いということはない
fact1: もし仮にこのブーゲンビリアが使い込むとすればこのＫ＝Ｇモデルはコラーゲン線維でないがしかしそれは散華する fact2: もし仮になにがしかのものはコラーゲン線維ならば「それは散華するし使い込まない」ということは成り立たない fact3: 「相分かる」ものはある fact4: 「あの剣法は着せがましい一方で遠いということはない」ということは誤っているとすればこのＫ＝Ｇモデルは遠くない fact5: もしあのド・ゴールが文明世界でないがしかし刺々しいならあの臨川寺は刺々しい fact6: 「引っ掛ける」ものはある fact7: 仮にこのブーゲンビリアが使い込むならこのＫ＝Ｇモデルはコラーゲン線維だということはない fact8: 仮に「「何かは相分からないか鋭いかまたは両方ともだ」ということは成り立つ」ということは嘘ならそれは引っ掛けない fact9: 「使い込まない」ものはある fact10: あの臨川寺は準拠する fact11: 「「「着せがましいし鋭い」ということは事実と異なる」ものがあるとするとあの臨川寺は相分かる」ということは成り立つ fact12: なにかは着せがましいしまた鋭い fact13: あのド・ゴールは刺々しい fact14: 「とあるものは散華するがしかし使い込むということはない」ということは偽であるとすれば「刺々しいということはない」ということは成り立つ fact15: もし仮に何らかのものは引っ掛けないとすれば「あの剣法は着せがましいし鋭い」ということは事実と異なる fact16: あのド・ゴールは由々ししまたそれは整数演算である fact17: このＫ＝Ｇモデルはコラーゲン線維だということはない fact18: 何かは引っ掛けない fact19: 「着せがましかない」物があるとしたらあの臨川寺は相分かる fact20: もし仮に刺々しいものが相分かるとするとこのブーゲンビリアは使い込む fact21: もし仮にこのＫ＝Ｇモデルがコラーゲン線維でない一方で散華するとしたら遠い fact22: 仮に「あのド・ゴールは由々し」ということは成り立つとすれば「刺々しい」ということは成り立つ fact23: あの臨川寺は刺々しかないとすれば「あの剣法は相分からないかあるいは鋭いか両方ともである」ということは成り立たない fact24: あるものは引っ掛けないとすれば「それは着せがましいしそれは遠くない」ということは偽である fact25: 仮にこのＫ＝Ｇモデルがコラーゲン線維だしそれに散華するとしたらそれは遠い fact26: 刺々しいものはある fact27: あのド・ゴールは整数演算である fact28: もしあのド・ゴールが由々しとすれば文明世界でないがしかし刺々しい fact29: もしこのブーゲンビリアは由々しないとしたら「あの臨川寺はコラーゲン線維だし文明世界である」ということは真実だ
fact18 & fact15 -> int1: 「あの剣法は着せがましいししかも鋭い」ということは誤っている; int1 -> int2: 「「着せがましいし鋭い」ということは偽である」物はある; int2 & fact11 -> int3: あの臨川寺は相分かる; fact16 -> int4: あのド・ゴールは由々し; int4 & fact28 -> int5: あのド・ゴールは文明世界でないが刺々しい; int5 & fact5 -> int6: 「あの臨川寺は刺々しかない」ということは間違っている; int3 & int6 -> int7: あの臨川寺は刺々しくてそれは相分かる; int7 -> int8: 何かは刺々しくて相分かる; int8 & fact20 -> int9: このブーゲンビリアは使い込む; int9 & fact1 -> int10: このＫ＝Ｇモデルはコラーゲン線維でないがしかし散華する; int10 & fact21 -> hypothesis;
このＫ＝Ｇモデルは遠くない
fact36 -> int11: 仮にあの剣法は引っ掛けないとすれば「それは着せがましいけれど遠くない」ということは嘘だ; fact34 -> int12: もし仮に「あの剣法は相分かるということはないかあるいは鋭いかあるいは両方だ」ということは偽ならばそれは引っ掛けない; fact31 -> int13: もし「あの臨川寺は散華する一方で使い込むということはない」ということは事実と異なるとしたらそれは刺々しかない; fact33 -> int14: あの臨川寺はコラーゲン線維なら「それは散華するしおまけに使い込まない」ということは成り立たない;
$facts$ = fact1: もし仮にこのブーゲンビリアが使い込むとすればこのＫ＝Ｇモデルはコラーゲン線維でないがしかしそれは散華する fact2: もし仮になにがしかのものはコラーゲン線維ならば「それは散華するし使い込まない」ということは成り立たない fact3: 「相分かる」ものはある fact4: 「あの剣法は着せがましい一方で遠いということはない」ということは誤っているとすればこのＫ＝Ｇモデルは遠くない fact5: もしあのド・ゴールが文明世界でないがしかし刺々しいならあの臨川寺は刺々しい fact6: 「引っ掛ける」ものはある fact7: 仮にこのブーゲンビリアが使い込むならこのＫ＝Ｇモデルはコラーゲン線維だということはない fact8: 仮に「「何かは相分からないか鋭いかまたは両方ともだ」ということは成り立つ」ということは嘘ならそれは引っ掛けない fact9: 「使い込まない」ものはある fact10: あの臨川寺は準拠する fact11: 「「「着せがましいし鋭い」ということは事実と異なる」ものがあるとするとあの臨川寺は相分かる」ということは成り立つ fact12: なにかは着せがましいしまた鋭い fact13: あのド・ゴールは刺々しい fact14: 「とあるものは散華するがしかし使い込むということはない」ということは偽であるとすれば「刺々しいということはない」ということは成り立つ fact15: もし仮に何らかのものは引っ掛けないとすれば「あの剣法は着せがましいし鋭い」ということは事実と異なる fact16: あのド・ゴールは由々ししまたそれは整数演算である fact17: このＫ＝Ｇモデルはコラーゲン線維だということはない fact18: 何かは引っ掛けない fact19: 「着せがましかない」物があるとしたらあの臨川寺は相分かる fact20: もし仮に刺々しいものが相分かるとするとこのブーゲンビリアは使い込む fact21: もし仮にこのＫ＝Ｇモデルがコラーゲン線維でない一方で散華するとしたら遠い fact22: 仮に「あのド・ゴールは由々し」ということは成り立つとすれば「刺々しい」ということは成り立つ fact23: あの臨川寺は刺々しかないとすれば「あの剣法は相分からないかあるいは鋭いか両方ともである」ということは成り立たない fact24: あるものは引っ掛けないとすれば「それは着せがましいしそれは遠くない」ということは偽である fact25: 仮にこのＫ＝Ｇモデルがコラーゲン線維だしそれに散華するとしたらそれは遠い fact26: 刺々しいものはある fact27: あのド・ゴールは整数演算である fact28: もしあのド・ゴールが由々しとすれば文明世界でないがしかし刺々しい fact29: もしこのブーゲンビリアは由々しないとしたら「あの臨川寺はコラーゲン線維だし文明世界である」ということは真実だ ; $hypothesis$ = このＫ＝Ｇモデルは遠いということはない ; $proof$ = 
fact18 & fact15 -> int1: 「あの剣法は着せがましいししかも鋭い」ということは誤っている; int1 -> int2: 「「着せがましいし鋭い」ということは偽である」物はある; int2 & fact11 -> int3: あの臨川寺は相分かる; fact16 -> int4: あのド・ゴールは由々し; int4 & fact28 -> int5: あのド・ゴールは文明世界でないが刺々しい; int5 & fact5 -> int6: 「あの臨川寺は刺々しかない」ということは間違っている; int3 & int6 -> int7: あの臨川寺は刺々しくてそれは相分かる; int7 -> int8: 何かは刺々しくて相分かる; int8 & fact20 -> int9: このブーゲンビリアは使い込む; int9 & fact1 -> int10: このＫ＝Ｇモデルはコラーゲン線維でないがしかし散華する; int10 & fact21 -> hypothesis; __DISPROVED__
事実1: もし仮にこのブーゲンビリアが使い込むとすればこのＫ＝Ｇモデルはコラーゲン線維でないがしかしそれは散華する
事実2: もし仮になにがしかのものはコラーゲン線維ならば「それは散華するし使い込まない」ということは成り立たない
事実3: 「相分かる」ものはある
事実4: 「あの剣法は着せがましい一方で遠いということはない」ということは誤っているとすればこのＫ＝Ｇモデルは遠くない
事実5: もしあのド・ゴールが文明世界でないがしかし刺々しいならあの臨川寺は刺々しい
事実6: 「引っ掛ける」ものはある
事実7: 仮にこのブーゲンビリアが使い込むならこのＫ＝Ｇモデルはコラーゲン線維だということはない
事実8: 仮に「「何かは相分からないか鋭いかまたは両方ともだ」ということは成り立つ」ということは嘘ならそれは引っ掛けない
事実9: 「使い込まない」ものはある
事実10: あの臨川寺は準拠する
事実11: 「「「着せがましいし鋭い」ということは事実と異なる」ものがあるとするとあの臨川寺は相分かる」ということは成り立つ
事実12: なにかは着せがましいしまた鋭い
事実13: あのド・ゴールは刺々しい
事実14: 「とあるものは散華するがしかし使い込むということはない」ということは偽であるとすれば「刺々しいということはない」ということは成り立つ
事実15: もし仮に何らかのものは引っ掛けないとすれば「あの剣法は着せがましいし鋭い」ということは事実と異なる
事実16: あのド・ゴールは由々ししまたそれは整数演算である
事実17: このＫ＝Ｇモデルはコラーゲン線維だということはない
事実18: 何かは引っ掛けない
事実19: 「着せがましかない」物があるとしたらあの臨川寺は相分かる
事実20: もし仮に刺々しいものが相分かるとするとこのブーゲンビリアは使い込む
事実21: もし仮にこのＫ＝Ｇモデルがコラーゲン線維でない一方で散華するとしたら遠い
事実22: 仮に「あのド・ゴールは由々し」ということは成り立つとすれば「刺々しい」ということは成り立つ
事実23: あの臨川寺は刺々しかないとすれば「あの剣法は相分からないかあるいは鋭いか両方ともである」ということは成り立たない
事実24: あるものは引っ掛けないとすれば「それは着せがましいしそれは遠くない」ということは偽である
事実25: 仮にこのＫ＝Ｇモデルがコラーゲン線維だしそれに散華するとしたらそれは遠い
事実26: 刺々しいものはある
事実27: あのド・ゴールは整数演算である
事実28: もしあのド・ゴールが由々しとすれば文明世界でないがしかし刺々しい
事実29: もしこのブーゲンビリアは由々しないとしたら「あの臨川寺はコラーゲン線維だし文明世界である」ということは真実だ

仮説: このＫ＝Ｇモデルは遠いということはない
1. 事実18と事実15から、推論1: "「あの剣法は着せがましいししかも鋭い」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「着せがましいし鋭い」ということは偽である」物はある"が導かれる
3. 推論2と事実11から、推論3: "あの臨川寺は相分かる"が導かれる
4. 事実16から、推論4: "あのド・ゴールは由々し"が導かれる
5. 推論4と事実28から、推論5: "あのド・ゴールは文明世界でないが刺々しい"が導かれる
6. 推論5と事実5から、推論6: "「あの臨川寺は刺々しかない」ということは間違っている"が導かれる
7. 推論3と推論6から、推論7: "あの臨川寺は刺々しくてそれは相分かる"が導かれる
8. 推論7から、推論8: "何かは刺々しくて相分かる"が導かれる
9. 推論8と事実20から、推論9: "このブーゲンビリアは使い込む"が導かれる
10. 推論9と事実1から、推論10: "このＫ＝Ｇモデルはコラーゲン線維でないがしかし散華する"が導かれる
11. 推論10と事実21から、仮説が否定される

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