「もしも「このぽよぽゆLv.7はやんごとない」ということは事実ならこのぽよぽゆLv.7はしつこい」ということは成り立つということはない
fact1: 仮にこのぽよぽゆLv.7が青臭くないしその上それが凄くないとするとこのぽよぽゆLv.7はしつこい fact2: やんごとないモンスターは青臭くないしその上凄くない fact3: 仮にあのぽねぽいLv.65は勘違いし易くないとすれば「眠たくないかまたはこよないかどちらもである」ということは間違いだ fact4: もしもなにがしかのモンスターは低しないとすれば「やんごとなくない一方でしつこい」ということは成り立たない fact5: もし仮に「あるモンスターは眠たくないかあるいはそれはこよないか両方だ」ということは偽なら輝かし fact6: もしもなんらかのモンスターが輝かしとすると低しない
fact2 -> int1: このぽよぽゆLv.7がやんごとないならば青臭くなくてしかも凄くない; void -> assump1: 以下のように仮定する。このぽよぽゆLv.7はやんごとない; int1 & assump1 -> int2: このぽよぽゆLv.7は青臭くないしおまけに凄いということはない; int2 & fact1 -> int3: 「このぽよぽゆLv.7はしつこい」ということは確かだ; [assump1] & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> int3: {B}{aa}; [assump1] & int3 -> hypothesis;
このまにまちゅLv.50は青臭い
fact9 -> int4: もし仮にあのぽねぽいLv.65は低しないとすれば「あのぽねぽいLv.65はやんごとなくない一方でしつこい」ということは成り立たない; fact10 -> int5: あのぽねぽいLv.65は輝かしなら「あのぽねぽいLv.65は低しない」ということは成り立つ; fact8 -> int6: 仮に「あのぽねぽいLv.65は眠たくないかもしくはこよない」ということは成り立つということはないとしたら輝かし;
$facts$ = fact1: 仮にこのぽよぽゆLv.7が青臭くないしその上それが凄くないとするとこのぽよぽゆLv.7はしつこい fact2: やんごとないモンスターは青臭くないしその上凄くない fact3: 仮にあのぽねぽいLv.65は勘違いし易くないとすれば「眠たくないかまたはこよないかどちらもである」ということは間違いだ fact4: もしもなにがしかのモンスターは低しないとすれば「やんごとなくない一方でしつこい」ということは成り立たない fact5: もし仮に「あるモンスターは眠たくないかあるいはそれはこよないか両方だ」ということは偽なら輝かし fact6: もしもなんらかのモンスターが輝かしとすると低しない ; $hypothesis$ = 「もしも「このぽよぽゆLv.7はやんごとない」ということは事実ならこのぽよぽゆLv.7はしつこい」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: このぽよぽゆLv.7がやんごとないならば青臭くなくてしかも凄くない; void -> assump1: 以下のように仮定する。このぽよぽゆLv.7はやんごとない; int1 & assump1 -> int2: このぽよぽゆLv.7は青臭くないしおまけに凄いということはない; int2 & fact1 -> int3: 「このぽよぽゆLv.7はしつこい」ということは確かだ; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> int3: {B}{aa}; [assump1] & int3 -> hypothesis; __DISPROVED__