「「生じ易くないならば「レガートでないかあるいは打ち寄せるということはないか両方ともだ」ということは成り立たない」物はある」ということは成り立たない
fact1: 「もしも生じ易くないとするとレガートでないかあるいは打ち寄せないか両方な」物はある fact2: もしも「その介護は程無い」ということは真実だとすれば「それはＨＰＬＣでないかあるいはそれは生じ易いということはない」ということは偽である fact3: もしもあの実行スピードは生じ易くないならば「それは細かくないかもしくは訴え出ないか両方である」ということは成り立たない fact4: もしもとあるものは認定出来ないならば「それは鳴り続けないかもしくはそれは味気無くないかあるいは両方ともだ」ということは成り立たない fact5: 「もしも生じ易いなら「レガートでないかまたは打ち寄せないかまたは両方ともである」ということは間違っている」ものはある fact6: 生じ易くないものは打ち寄せる fact7: 仮に「あの三元豚は打ち寄せる」ということは誤りでないとすれば「「大陸でないかもしくは直衣でない」ということは成り立つ」ということは間違っている fact8: 仮に「なにがしかの物は食物神でない」ということは確かだとすれば「感じ易くないか探し易くないかどちらもだ」ということは間違いである fact9: もしもあの三元豚が生じ易くないとすればレガートでないかまたは打ち寄せるということはないかもしくはどちらもである fact10: もし仮になにかは生じ易くないならば「レガートでないかまたはそれは打ち寄せないかまたはどちらもである」ということは偽である fact11: あの三元豚はＨＰＬＣでないとしたら生じ易い fact12: 「仮に冷え易くないならば「君らしいということはないかまたは暗しないかもしくは両方だ」ということは真実だということはない」物はある
fact10 -> int1: 仮にあの三元豚は生じ易いということはないとしたら「レガートでないかあるいは打ち寄せるということはないかあるいは両方である」ということは嘘である; int1 -> hypothesis;
$facts$ = fact1: 「もしも生じ易くないとするとレガートでないかあるいは打ち寄せないか両方な」物はある fact2: もしも「その介護は程無い」ということは真実だとすれば「それはＨＰＬＣでないかあるいはそれは生じ易いということはない」ということは偽である fact3: もしもあの実行スピードは生じ易くないならば「それは細かくないかもしくは訴え出ないか両方である」ということは成り立たない fact4: もしもとあるものは認定出来ないならば「それは鳴り続けないかもしくはそれは味気無くないかあるいは両方ともだ」ということは成り立たない fact5: 「もしも生じ易いなら「レガートでないかまたは打ち寄せないかまたは両方ともである」ということは間違っている」ものはある fact6: 生じ易くないものは打ち寄せる fact7: 仮に「あの三元豚は打ち寄せる」ということは誤りでないとすれば「「大陸でないかもしくは直衣でない」ということは成り立つ」ということは間違っている fact8: 仮に「なにがしかの物は食物神でない」ということは確かだとすれば「感じ易くないか探し易くないかどちらもだ」ということは間違いである fact9: もしもあの三元豚が生じ易くないとすればレガートでないかまたは打ち寄せるということはないかもしくはどちらもである fact10: もし仮になにかは生じ易くないならば「レガートでないかまたはそれは打ち寄せないかまたはどちらもである」ということは偽である fact11: あの三元豚はＨＰＬＣでないとしたら生じ易い fact12: 「仮に冷え易くないならば「君らしいということはないかまたは暗しないかもしくは両方だ」ということは真実だということはない」物はある ; $hypothesis$ = 「「生じ易くないならば「レガートでないかあるいは打ち寄せるということはないか両方ともだ」ということは成り立たない」物はある」ということは成り立たない ; $proof$ = 
fact10 -> int1: 仮にあの三元豚は生じ易いということはないとしたら「レガートでないかあるいは打ち寄せるということはないかあるいは両方である」ということは嘘である; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも生じ易くないとするとレガートでないかあるいは打ち寄せないか両方な」物はある
事実2: もしも「その介護は程無い」ということは真実だとすれば「それはＨＰＬＣでないかあるいはそれは生じ易いということはない」ということは偽である
事実3: もしもあの実行スピードは生じ易くないならば「それは細かくないかもしくは訴え出ないか両方である」ということは成り立たない
事実4: もしもとあるものは認定出来ないならば「それは鳴り続けないかもしくはそれは味気無くないかあるいは両方ともだ」ということは成り立たない
事実5: 「もしも生じ易いなら「レガートでないかまたは打ち寄せないかまたは両方ともである」ということは間違っている」ものはある
事実6: 生じ易くないものは打ち寄せる
事実7: 仮に「あの三元豚は打ち寄せる」ということは誤りでないとすれば「「大陸でないかもしくは直衣でない」ということは成り立つ」ということは間違っている
事実8: 仮に「なにがしかの物は食物神でない」ということは確かだとすれば「感じ易くないか探し易くないかどちらもだ」ということは間違いである
事実9: もしもあの三元豚が生じ易くないとすればレガートでないかまたは打ち寄せるということはないかもしくはどちらもである
事実10: もし仮になにかは生じ易くないならば「レガートでないかまたはそれは打ち寄せないかまたはどちらもである」ということは偽である
事実11: あの三元豚はＨＰＬＣでないとしたら生じ易い
事実12: 「仮に冷え易くないならば「君らしいということはないかまたは暗しないかもしくは両方だ」ということは真実だということはない」物はある

仮説: 「「生じ易くないならば「レガートでないかあるいは打ち寄せるということはないか両方ともだ」ということは成り立たない」物はある」ということは成り立たない
1. 事実10から、推論1: "仮にあの三元豚は生じ易いということはないとしたら「レガートでないかあるいは打ち寄せるということはないかあるいは両方である」ということは嘘である"が導かれる
2. 推論1から、仮説が否定される

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