以下のように仮定する。あのみにゃみいLv.23は際限無い
fact1: そのまいまにょLv.95は軽々しい fact2: 何らかのモンスターが際限無いとしたらそれは軽々しい fact3: あのみにゃみいLv.23は軽々しくない
fact2 -> int1: あのみにゃみいLv.23が際限無いとしたらそれは軽々しい; void -> assump1: 以下のように仮定する。あのみにゃみいLv.23は際限無い; int1 & assump1 -> int2: あのみにゃみいLv.23は軽々しい; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> {C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: {C}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのまいまにょLv.95は軽々しい fact2: 何らかのモンスターが際限無いとしたらそれは軽々しい fact3: あのみにゃみいLv.23は軽々しくない ; $hypothesis$ = 以下のように仮定する。あのみにゃみいLv.23は際限無い ; $proof$ = 
fact2 -> int1: あのみにゃみいLv.23が際限無いとしたらそれは軽々しい; void -> assump1: 以下のように仮定する。あのみにゃみいLv.23は際限無い; int1 & assump1 -> int2: あのみにゃみいLv.23は軽々しい; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> {C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: {C}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__