あの抗議行動は太し
fact1: もしもあの抗議行動はマータでないが身軽いとすればそれは太しない fact2: あの抗議行動はマータであるということはないが身軽い
$facts$ = fact1: もしもあの抗議行動はマータでないが身軽いとすればそれは太しない fact2: あの抗議行動はマータであるということはないが身軽い ; $hypothesis$ = あの抗議行動は太し ; $proof$ = 
事実1: もしもあの抗議行動はマータでないが身軽いとすればそれは太しない
事実2: あの抗議行動はマータであるということはないが身軽い

仮説: あの抗議行動は太し