以下のように仮定する。そのぴよぴちゃLv.73はきつい
fact1: 仮に「このまなまくLv.37は憎しないけれど不味い」ということは成り立たないならこのまなまくLv.37は吸収され易くない fact2: そのぴよぴちゃLv.73は吸収され易い fact3: きついモンスターは吸収され易いということはない fact4: 「何らかのモンスターが航海すればフェードアウトしない」ということは確かだ fact5: もしもこのまなまくLv.37はきついとすると「そのぴよぴちゃLv.73はきつい」ということは正しい fact6: もしきついモンスターが返済するならそれは揺るぎなくない
fact3 -> int1: そのぴよぴちゃLv.73がきついならそのぴよぴちゃLv.73は吸収され易くない; void -> assump1: 以下のように仮定する。そのぴよぴちゃLv.73はきつい; int1 & assump1 -> int2: 「そのぴよぴちゃLv.73は吸収され易くない」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのぴよぴちゃLv.73はきつい
$facts$ = fact1: 仮に「このまなまくLv.37は憎しないけれど不味い」ということは成り立たないならこのまなまくLv.37は吸収され易くない fact2: そのぴよぴちゃLv.73は吸収され易い fact3: きついモンスターは吸収され易いということはない fact4: 「何らかのモンスターが航海すればフェードアウトしない」ということは確かだ fact5: もしもこのまなまくLv.37はきついとすると「そのぴよぴちゃLv.73はきつい」ということは正しい fact6: もしきついモンスターが返済するならそれは揺るぎなくない ; $hypothesis$ = 以下のように仮定する。そのぴよぴちゃLv.73はきつい ; $proof$ = 
fact3 -> int1: そのぴよぴちゃLv.73がきついならそのぴよぴちゃLv.73は吸収され易くない; void -> assump1: 以下のように仮定する。そのぴよぴちゃLv.73はきつい; int1 & assump1 -> int2: 「そのぴよぴちゃLv.73は吸収され易くない」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__