そのまわまにLv.22はかったるいかまたは捕らえ易いかあるいは両方ともだ
fact1: もしもそのまわまにLv.22がいじましいならそのみちょみいLv.89は悲しないがしかしそれは傾く fact2: 「そのみちょみいLv.89は悲しないけれどそれは傾く」ということは成り立たない fact3: 「あのぷねぷにょLv.79は推薦しない一方でそれは幼し」ということは真実であるということはない fact4: そのみちょみいLv.89はいじましくない fact5: もしそのまわまにLv.22がいじましくないならそれはかったるいかまたは捕らえ易いかあるいは両方だ fact6: そのみちょみいLv.89はかったるい fact7: そのまわまにLv.22が傾けばそのみちょみいLv.89はかったるい fact8: もしもそのまわまにLv.22が悲しとするとそのみちょみいLv.89はかったるい
void -> assump1: 以下のように仮定する。そのまわまにLv.22はいじましい; fact1 & assump1 -> int1: そのみちょみいLv.89は悲しないモンスターであり傾く; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまわまにLv.22はいじましくない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
$facts$ = fact1: もしもそのまわまにLv.22がいじましいならそのみちょみいLv.89は悲しないがしかしそれは傾く fact2: 「そのみちょみいLv.89は悲しないけれどそれは傾く」ということは成り立たない fact3: 「あのぷねぷにょLv.79は推薦しない一方でそれは幼し」ということは真実であるということはない fact4: そのみちょみいLv.89はいじましくない fact5: もしそのまわまにLv.22がいじましくないならそれはかったるいかまたは捕らえ易いかあるいは両方だ fact6: そのみちょみいLv.89はかったるい fact7: そのまわまにLv.22が傾けばそのみちょみいLv.89はかったるい fact8: もしもそのまわまにLv.22が悲しとするとそのみちょみいLv.89はかったるい ; $hypothesis$ = そのまわまにLv.22はかったるいかまたは捕らえ易いかあるいは両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまわまにLv.22はいじましい; fact1 & assump1 -> int1: そのみちょみいLv.89は悲しないモンスターであり傾く; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまわまにLv.22はいじましくない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __PROVED__