あの紙魚は守り易い
fact1: 「「存在すらないしその上守り易いない」ということは間違いな」ものがあるとすればこの地球外は木霊しない fact2: 弛み無い物は木霊するということはないがしかし車線だ fact3: もしあるものが会話らしいならば弛み無い fact4: もしも「そのＭ＆Ａ後は木霊しないが車線である」ということは事実ならこの地球外は木霊しない fact5: もし仮にあの紙魚が返還すしそれが木霊するとしたら守り易くない fact6: 「「棹差さないけれど涙ぐましい」ということは誤っている」ものはある fact7: この地球外は車線であるかそれは弛み無いかまたは両方ともだ fact8: もし仮にこの地球外が車線であるならばそのＴＥＤＩは守り易い fact9: もし何らかのものは返還す一方で木霊しないとすると守り易くない fact10: 仮にそのＴＥＤＩは赤黒いということはないなら「この地球外は赤黒いしその上存在す」ということは間違いだ fact11: 赤黒くない物は存在す一方で面映ゆかない fact12: 仮に「「遣り為さらないし内通者でない」ということは成り立つということはない」ものがあるならそのＴＥＤＩは赤黒いということはない fact13: 「この帰属家賃は遣り為さらないしおまけにそれは内通者でない」ということは間違っている fact14: もしそのＴＥＤＩが木霊するならその漁は返還す fact15: 「仮に「何らかの物は赤黒いしかつ存在す」ということは成り立たないとしたら惜しくない」ということは事実だ fact16: もし仮にこの地球外は木霊しないならば「そのＴＥＤＩは惜しいということはないしそれは返還すらない」ということは本当でない fact17: 赤黒い物は守り易い fact18: もしこの地球外が惜しくないならあの紙魚は返還すが木霊しない fact19: もし「そのＴＥＤＩは惜しくないしまた返還すらない」ということは偽だとしたらあの紙魚は惜しいということはない
fact13 -> int1: 「「遣り為さらないしかつ内通者でない」ということは事実と異なる」物はある; int1 & fact12 -> int2: そのＴＥＤＩは赤黒くない; int2 & fact10 -> int3: 「この地球外は赤黒いし存在す」ということは間違いだ; fact15 -> int4: 「この地球外は赤黒いし存在す」ということは誤っているとすれば惜しくない; int3 & int4 -> int5: この地球外は惜しいということはない; int5 & fact18 -> int6: あの紙魚は返還すけれどそれは木霊しない; fact9 -> int7: 仮にあの紙魚は返還すけれど木霊しないとするとそれは守り易くない; int6 & int7 -> hypothesis;
あの紙魚は守り易い
fact23 -> int8: もしあの紙魚が赤黒いとしたら守り易い; fact21 -> int9: 仮にそのＭ＆Ａ後が弛み無いとすると木霊しないが車線である; fact26 -> int10: もしもそのＭ＆Ａ後が会話らしいなら弛み無い;
$facts$ = fact1: 「「存在すらないしその上守り易いない」ということは間違いな」ものがあるとすればこの地球外は木霊しない fact2: 弛み無い物は木霊するということはないがしかし車線だ fact3: もしあるものが会話らしいならば弛み無い fact4: もしも「そのＭ＆Ａ後は木霊しないが車線である」ということは事実ならこの地球外は木霊しない fact5: もし仮にあの紙魚が返還すしそれが木霊するとしたら守り易くない fact6: 「「棹差さないけれど涙ぐましい」ということは誤っている」ものはある fact7: この地球外は車線であるかそれは弛み無いかまたは両方ともだ fact8: もし仮にこの地球外が車線であるならばそのＴＥＤＩは守り易い fact9: もし何らかのものは返還す一方で木霊しないとすると守り易くない fact10: 仮にそのＴＥＤＩは赤黒いということはないなら「この地球外は赤黒いしその上存在す」ということは間違いだ fact11: 赤黒くない物は存在す一方で面映ゆかない fact12: 仮に「「遣り為さらないし内通者でない」ということは成り立つということはない」ものがあるならそのＴＥＤＩは赤黒いということはない fact13: 「この帰属家賃は遣り為さらないしおまけにそれは内通者でない」ということは間違っている fact14: もしそのＴＥＤＩが木霊するならその漁は返還す fact15: 「仮に「何らかの物は赤黒いしかつ存在す」ということは成り立たないとしたら惜しくない」ということは事実だ fact16: もし仮にこの地球外は木霊しないならば「そのＴＥＤＩは惜しいということはないしそれは返還すらない」ということは本当でない fact17: 赤黒い物は守り易い fact18: もしこの地球外が惜しくないならあの紙魚は返還すが木霊しない fact19: もし「そのＴＥＤＩは惜しくないしまた返還すらない」ということは偽だとしたらあの紙魚は惜しいということはない ; $hypothesis$ = あの紙魚は守り易い ; $proof$ = 
fact13 -> int1: 「「遣り為さらないしかつ内通者でない」ということは事実と異なる」物はある; int1 & fact12 -> int2: そのＴＥＤＩは赤黒くない; int2 & fact10 -> int3: 「この地球外は赤黒いし存在す」ということは間違いだ; fact15 -> int4: 「この地球外は赤黒いし存在す」ということは誤っているとすれば惜しくない; int3 & int4 -> int5: この地球外は惜しいということはない; int5 & fact18 -> int6: あの紙魚は返還すけれどそれは木霊しない; fact9 -> int7: 仮にあの紙魚は返還すけれど木霊しないとするとそれは守り易くない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 「「存在すらないしその上守り易いない」ということは間違いな」ものがあるとすればこの地球外は木霊しない
事実2: 弛み無い物は木霊するということはないがしかし車線だ
事実3: もしあるものが会話らしいならば弛み無い
事実4: もしも「そのＭ＆Ａ後は木霊しないが車線である」ということは事実ならこの地球外は木霊しない
事実5: もし仮にあの紙魚が返還すしそれが木霊するとしたら守り易くない
事実6: 「「棹差さないけれど涙ぐましい」ということは誤っている」ものはある
事実7: この地球外は車線であるかそれは弛み無いかまたは両方ともだ
事実8: もし仮にこの地球外が車線であるならばそのＴＥＤＩは守り易い
事実9: もし何らかのものは返還す一方で木霊しないとすると守り易くない
事実10: 仮にそのＴＥＤＩは赤黒いということはないなら「この地球外は赤黒いしその上存在す」ということは間違いだ
事実11: 赤黒くない物は存在す一方で面映ゆかない
事実12: 仮に「「遣り為さらないし内通者でない」ということは成り立つということはない」ものがあるならそのＴＥＤＩは赤黒いということはない
事実13: 「この帰属家賃は遣り為さらないしおまけにそれは内通者でない」ということは間違っている
事実14: もしそのＴＥＤＩが木霊するならその漁は返還す
事実15: 「仮に「何らかの物は赤黒いしかつ存在す」ということは成り立たないとしたら惜しくない」ということは事実だ
事実16: もし仮にこの地球外は木霊しないならば「そのＴＥＤＩは惜しいということはないしそれは返還すらない」ということは本当でない
事実17: 赤黒い物は守り易い
事実18: もしこの地球外が惜しくないならあの紙魚は返還すが木霊しない
事実19: もし「そのＴＥＤＩは惜しくないしまた返還すらない」ということは偽だとしたらあの紙魚は惜しいということはない

仮説: あの紙魚は守り易い
1. 事実13から、推論1: "「「遣り為さらないしかつ内通者でない」ということは事実と異なる」物はある"が導かれる
2. 推論1と事実12から、推論2: "そのＴＥＤＩは赤黒くない"が導かれる
3. 推論2と事実10から、推論3: "「この地球外は赤黒いし存在す」ということは間違いだ"が導かれる
4. 事実15から、推論4: "「この地球外は赤黒いし存在す」ということは誤っているとすれば惜しくない"が導かれる
5. 推論3と推論4から、推論5: "この地球外は惜しいということはない"が導かれる
6. 推論5と事実18から、推論6: "あの紙魚は返還すけれどそれは木霊しない"が導かれる
7. 事実9から、推論7: "仮にあの紙魚は返還すけれど木霊しないとするとそれは守り易くない"が導かれる
8. 推論6と推論7から、仮説が否定される

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