「この養生シートは極まりなくないかまたは頑是無いかまたはどちらもだ」ということは誤っている
fact1: もし仮にとあるものは調節し易くないなら「極まりなくないかまたは頑是無いかもしくはどちらもだ」ということは成り立たない fact2: 「あのスタイル例は里芋でないが旨し」ということは間違っている fact3: 「「研磨しない一方で古代ギリシャ人である」ということは嘘である」ものはある fact4: 「「「里芋であるということはなくて旨し」ということは間違いである」物はあるなら「この養生シートは調節し易いということはない」ということは成り立つ」ということは成り立つ
fact2 -> int1: 「「里芋でないけれど旨し」ということは成り立つということはない」物はある; int1 & fact4 -> int2: この養生シートは調節し易くない; fact1 -> int3: 仮にこの養生シートは調節し易くないとすれば「それは極まりないということはないかあるいは頑是無いかあるいはどちらもである」ということは成り立たない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮にとあるものは調節し易くないなら「極まりなくないかまたは頑是無いかもしくはどちらもだ」ということは成り立たない fact2: 「あのスタイル例は里芋でないが旨し」ということは間違っている fact3: 「「研磨しない一方で古代ギリシャ人である」ということは嘘である」ものはある fact4: 「「「里芋であるということはなくて旨し」ということは間違いである」物はあるなら「この養生シートは調節し易いということはない」ということは成り立つ」ということは成り立つ ; $hypothesis$ = 「この養生シートは極まりなくないかまたは頑是無いかまたはどちらもだ」ということは誤っている ; $proof$ = 
fact2 -> int1: 「「里芋でないけれど旨し」ということは成り立つということはない」物はある; int1 & fact4 -> int2: この養生シートは調節し易くない; fact1 -> int3: 仮にこの養生シートは調節し易くないとすれば「それは極まりないということはないかあるいは頑是無いかあるいはどちらもである」ということは成り立たない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にとあるものは調節し易くないなら「極まりなくないかまたは頑是無いかもしくはどちらもだ」ということは成り立たない
事実2: 「あのスタイル例は里芋でないが旨し」ということは間違っている
事実3: 「「研磨しない一方で古代ギリシャ人である」ということは嘘である」ものはある
事実4: 「「「里芋であるということはなくて旨し」ということは間違いである」物はあるなら「この養生シートは調節し易いということはない」ということは成り立つ」ということは成り立つ

仮説: 「この養生シートは極まりなくないかまたは頑是無いかまたはどちらもだ」ということは誤っている
1. 事実2から、推論1: "「「里芋でないけれど旨し」ということは成り立つということはない」物はある"が導かれる
2. 推論1と事実4から、推論2: "この養生シートは調節し易くない"が導かれる
3. 事実1から、推論3: "仮にこの養生シートは調節し易くないとすれば「それは極まりないということはないかあるいは頑是無いかあるいはどちらもである」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。