あのキャセロールはエロい
fact1: 「あのキャセロールは俗っぽくないし取り戻し始めない」ということは成り立たないとするとエロくない fact2: 「あのキャセロールは俗っぽくないし取り戻し始めるということはない」ということは嘘だ
$facts$ = fact1: 「あのキャセロールは俗っぽくないし取り戻し始めない」ということは成り立たないとするとエロくない fact2: 「あのキャセロールは俗っぽくないし取り戻し始めるということはない」ということは嘘だ ; $hypothesis$ = あのキャセロールはエロい ; $proof$ = 
事実1: 「あのキャセロールは俗っぽくないし取り戻し始めない」ということは成り立たないとするとエロくない
事実2: 「あのキャセロールは俗っぽくないし取り戻し始めるということはない」ということは嘘だ

仮説: あのキャセロールはエロい