この文字通りは説き給う
fact1: もし仮に「「この文字通りは吹きこぼれないけれどそれは茸研究会である」ということは成り立つ」ということは成り立たないとすればそれは説き給わない fact2: 「この文字通りは吹きこぼれない一方で茸研究会である」ということは正しくない
$facts$ = fact1: もし仮に「「この文字通りは吹きこぼれないけれどそれは茸研究会である」ということは成り立つ」ということは成り立たないとすればそれは説き給わない fact2: 「この文字通りは吹きこぼれない一方で茸研究会である」ということは正しくない ; $hypothesis$ = この文字通りは説き給う ; $proof$ = 
事実1: もし仮に「「この文字通りは吹きこぼれないけれどそれは茸研究会である」ということは成り立つ」ということは成り立たないとすればそれは説き給わない
事実2: 「この文字通りは吹きこぼれない一方で茸研究会である」ということは正しくない

仮説: この文字通りは説き給う