「「「跳梁しないがしかし偽薬だ」ということは正しい」ものはある」ということは間違いだ
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: あの蝗はＡ君でない
fact1 & fact4 -> int1: あの謡いは起伏する; fact3 -> int2: もし仮にあの謡いは起伏するとすると「きもい」ということは確かである; int1 & int2 -> int3: あの謡いはきもい; fact9 & fact18 -> int4: 「あの謡いはＡ君であるがしかしむさくるしくない」ということは成り立たない; fact17 -> int5: もし仮に「あの謡いはＡ君である一方でむさくるしいということはない」ということは間違いだとすれば起き上がらない; int4 & int5 -> int6: あの謡いは起き上がるということはない; int3 & int6 -> int7: あの謡いはきもいが起き上がらない; fact14 -> int8: あの謡いがきもいがしかしそれは起き上がらないならば「それは跳梁する」ということは成り立つ; int7 & int8 -> int9: 「あの謡いは跳梁する」ということは嘘でない; int9 & fact20 -> int10: あの譲渡契約は跳梁しないがしかし偽薬だ; int10 -> hypothesis;
「この母ちゃん達は起き上がる一方で恐れ多くない」ということは偽である
fact26 -> int11: もしもこの母ちゃん達は分かり辛いということはないならば「起き上がるが恐れ多くない」ということは成り立たない;
$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: あの蝗はＡ君でない ; $hypothesis$ = 「「「跳梁しないがしかし偽薬だ」ということは正しい」ものはある」ということは間違いだ ; $proof$ = 
fact1 & fact4 -> int1: あの謡いは起伏する; fact3 -> int2: もし仮にあの謡いは起伏するとすると「きもい」ということは確かである; int1 & int2 -> int3: あの謡いはきもい; fact9 & fact18 -> int4: 「あの謡いはＡ君であるがしかしむさくるしくない」ということは成り立たない; fact17 -> int5: もし仮に「あの謡いはＡ君である一方でむさくるしいということはない」ということは間違いだとすれば起き上がらない; int4 & int5 -> int6: あの謡いは起き上がるということはない; int3 & int6 -> int7: あの謡いはきもいが起き上がらない; fact14 -> int8: あの謡いがきもいがしかしそれは起き上がらないならば「それは跳梁する」ということは成り立つ; int7 & int8 -> int9: 「あの謡いは跳梁する」ということは嘘でない; int9 & fact20 -> int10: あの譲渡契約は跳梁しないがしかし偽薬だ; int10 -> 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: あの蝗はＡ君でない

仮説: 「「「跳梁しないがしかし偽薬だ」ということは正しい」ものはある」ということは間違いだ
1. 事実1と事実4から、推論1: "あの謡いは起伏する"が導かれる
2. 事実3から、推論2: "もし仮にあの謡いは起伏するとすると「きもい」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "あの謡いはきもい"が導かれる
4. 事実9と事実18から、推論4: "「あの謡いはＡ君であるがしかしむさくるしくない」ということは成り立たない"が導かれる
5. 事実17から、推論5: "もし仮に「あの謡いはＡ君である一方でむさくるしいということはない」ということは間違いだとすれば起き上がらない"が導かれる
6. 推論4と推論5から、推論6: "あの謡いは起き上がるということはない"が導かれる
7. 推論3と推論6から、推論7: "あの謡いはきもいが起き上がらない"が導かれる
8. 事実14から、推論8: "あの謡いがきもいがしかしそれは起き上がらないならば「それは跳梁する」ということは成り立つ"が導かれる
9. 推論7と推論8から、推論9: "「あの謡いは跳梁する」ということは嘘でない"が導かれる
10. 推論9と事実20から、推論10: "あの譲渡契約は跳梁しないがしかし偽薬だ"が導かれる
11. 推論10から、仮説が否定される

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