この古銭はマフラーでない
fact1: この古銭は底堅くないしそれに整数論でない fact2: 仮にこの古銭が底堅いということはないし整数論でないなら「それはマフラーでない」ということは成り立つ
$facts$ = fact1: この古銭は底堅くないしそれに整数論でない fact2: 仮にこの古銭が底堅いということはないし整数論でないなら「それはマフラーでない」ということは成り立つ ; $hypothesis$ = この古銭はマフラーでない ; $proof$ = 
事実1: この古銭は底堅くないしそれに整数論でない
事実2: 仮にこの古銭が底堅いということはないし整数論でないなら「それはマフラーでない」ということは成り立つ

仮説: この古銭はマフラーでない