この四性は其れらしい
fact1: なにかは農薬等であるとしたら「それは切り合うということはないけれど大根踊りである」ということは嘘である fact2: もしもなにがしかの物が切り合わないならばそれは其れらしいしその上作り込む fact3: 「あのムーンフェイズ機構は入れ易くないけれど流行歌だ」ということは嘘である fact4: もしその統計学が切り合うとするとこの四性は切り合わない fact5: もし仮に「「「入れ易くなくて流行歌でない」ということは成り立たない」ものはある」ということは確かであるとすればあの四性は其れらしくない fact6: 「あのムーンフェイズ機構は入れ易くないしまた流行歌でない」ということは成り立つということはない fact7: もし仮に「「「其れらしくないし入れ易いということはない」ということは間違いな」ものはある」ということは本当であるとしたらあのムーンフェイズ機構は流行歌でない fact8: もしも「その証明証は切り合わない一方で大根踊りである」ということは成り立たないとするとその統計学は切り合う fact9: 「「其れらしいということはなくてまた流行歌であるということはない」ということは成り立つということはない」ものはある
fact6 -> int1: 「「入れ易くないし流行歌でない」ということは成り立たない」物はある; int1 & fact5 -> hypothesis;
「この四性は其れらしい」ということは成り立つ
fact12 -> int2: もしもこの四性が切り合わないとするとそれは其れらしいしそれに作り込む; fact10 -> int3: 仮にその証明証は農薬等であるとしたら「切り合わないが大根踊りである」ということは成り立つということはない;
$facts$ = fact1: なにかは農薬等であるとしたら「それは切り合うということはないけれど大根踊りである」ということは嘘である fact2: もしもなにがしかの物が切り合わないならばそれは其れらしいしその上作り込む fact3: 「あのムーンフェイズ機構は入れ易くないけれど流行歌だ」ということは嘘である fact4: もしその統計学が切り合うとするとこの四性は切り合わない fact5: もし仮に「「「入れ易くなくて流行歌でない」ということは成り立たない」ものはある」ということは確かであるとすればあの四性は其れらしくない fact6: 「あのムーンフェイズ機構は入れ易くないしまた流行歌でない」ということは成り立つということはない fact7: もし仮に「「「其れらしくないし入れ易いということはない」ということは間違いな」ものはある」ということは本当であるとしたらあのムーンフェイズ機構は流行歌でない fact8: もしも「その証明証は切り合わない一方で大根踊りである」ということは成り立たないとするとその統計学は切り合う fact9: 「「其れらしいということはなくてまた流行歌であるということはない」ということは成り立つということはない」ものはある ; $hypothesis$ = この四性は其れらしい ; $proof$ = 
fact6 -> int1: 「「入れ易くないし流行歌でない」ということは成り立たない」物はある; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: なにかは農薬等であるとしたら「それは切り合うということはないけれど大根踊りである」ということは嘘である
事実2: もしもなにがしかの物が切り合わないならばそれは其れらしいしその上作り込む
事実3: 「あのムーンフェイズ機構は入れ易くないけれど流行歌だ」ということは嘘である
事実4: もしその統計学が切り合うとするとこの四性は切り合わない
事実5: もし仮に「「「入れ易くなくて流行歌でない」ということは成り立たない」ものはある」ということは確かであるとすればあの四性は其れらしくない
事実6: 「あのムーンフェイズ機構は入れ易くないしまた流行歌でない」ということは成り立つということはない
事実7: もし仮に「「「其れらしくないし入れ易いということはない」ということは間違いな」ものはある」ということは本当であるとしたらあのムーンフェイズ機構は流行歌でない
事実8: もしも「その証明証は切り合わない一方で大根踊りである」ということは成り立たないとするとその統計学は切り合う
事実9: 「「其れらしいということはなくてまた流行歌であるということはない」ということは成り立つということはない」ものはある

仮説: この四性は其れらしい
1. 事実6から、推論1: "「「入れ易くないし流行歌でない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実5から、仮説が否定される

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