「その三菜は第三章でないしカルボニル炭素でない」ということは本当でない
fact1: 「その三菜は惜しみ無くない」ということは確かだ fact2: その三菜は惜しみ無くないとしたら「それは第三章でないしカルボニル炭素でない」ということは間違いだ
$facts$ = fact1: 「その三菜は惜しみ無くない」ということは確かだ fact2: その三菜は惜しみ無くないとしたら「それは第三章でないしカルボニル炭素でない」ということは間違いだ ; $hypothesis$ = 「その三菜は第三章でないしカルボニル炭素でない」ということは本当でない ; $proof$ = 
事実1: 「その三菜は惜しみ無くない」ということは確かだ
事実2: その三菜は惜しみ無くないとしたら「それは第三章でないしカルボニル炭素でない」ということは間違いだ

仮説: 「その三菜は第三章でないしカルボニル炭素でない」ということは本当でない