「あの三月以前は受け売りであるしその上それは悪酔いする」ということは本当であるということはない
fact1: 「この七十七参照は親鸞聖人であって軟らかくない」ということは正しくない fact2: もし「この七十七参照は親鸞聖人だけど軟らかいということはない」ということは成り立つということはないとすればあの三月以前は軟らかいということはない fact3: 軟らかくないものは受け売りだし加えて悪酔いする
fact3 -> int1: もしあの三月以前が軟らかいということはないなら受け売りでそれは悪酔いする; fact1 & fact2 -> int2: あの三月以前は軟らかくない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact1 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「この七十七参照は親鸞聖人であって軟らかくない」ということは正しくない fact2: もし「この七十七参照は親鸞聖人だけど軟らかいということはない」ということは成り立つということはないとすればあの三月以前は軟らかいということはない fact3: 軟らかくないものは受け売りだし加えて悪酔いする ; $hypothesis$ = 「あの三月以前は受け売りであるしその上それは悪酔いする」ということは本当であるということはない ; $proof$ = 
fact3 -> int1: もしあの三月以前が軟らかいということはないなら受け売りでそれは悪酔いする; fact1 & fact2 -> int2: あの三月以前は軟らかくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この七十七参照は親鸞聖人であって軟らかくない」ということは正しくない
事実2: もし「この七十七参照は親鸞聖人だけど軟らかいということはない」ということは成り立つということはないとすればあの三月以前は軟らかいということはない
事実3: 軟らかくないものは受け売りだし加えて悪酔いする

仮説: 「あの三月以前は受け売りであるしその上それは悪酔いする」ということは本当であるということはない
1. 事実3から、推論1: "もしあの三月以前が軟らかいということはないなら受け売りでそれは悪酔いする"が導かれる
2. 事実1と事実2から、推論2: "あの三月以前は軟らかくない"が導かれる
3. 推論1と推論2から、仮説が否定される

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