「もしその輸送業者が焚き口だがしかし略称・連続射殺魔でないとしたらその輸送業者は情報処理能力である」ということは成り立たない
fact1: 仮に焚き口は略称・連続射殺魔であるということはないならば「情報処理能力である」ということは本当だ
$facts$ = fact1: 仮に焚き口は略称・連続射殺魔であるということはないならば「情報処理能力である」ということは本当だ ; $hypothesis$ = 「もしその輸送業者が焚き口だがしかし略称・連続射殺魔でないとしたらその輸送業者は情報処理能力である」ということは成り立たない ; $proof$ = 
事実1: 仮に焚き口は略称・連続射殺魔であるということはないならば「情報処理能力である」ということは本当だ

仮説: 「もしその輸送業者が焚き口だがしかし略称・連続射殺魔でないとしたらその輸送業者は情報処理能力である」ということは成り立たない