その理想郷は吸うということはない
fact1: この統一機構は俗っぽい fact2: もし仮にこの統一機構は俗っぽいとすれば「その理想郷は吸う」ということは本当だ
$facts$ = fact1: この統一機構は俗っぽい fact2: もし仮にこの統一機構は俗っぽいとすれば「その理想郷は吸う」ということは本当だ ; $hypothesis$ = その理想郷は吸うということはない ; $proof$ = 
事実1: この統一機構は俗っぽい
事実2: もし仮にこの統一機構は俗っぽいとすれば「その理想郷は吸う」ということは本当だ

仮説: その理想郷は吸うということはない