このまやまえLv.76は生臭くない
fact1: もしもなんらかのモンスターは破水するかまたは悩ましいか両方だとすると「生臭くない」ということは成り立つ fact2: あるモンスターが破水しないとしたらそれは作り難くないかそれは口惜しくないかあるいは両方だ fact3: もしもそのみちょみのLv.1が作り難くないかまたは口惜しくないかあるいは両方ならばこのまやまえLv.76は生臭い fact4: 「「破水するししかも後ろ暗くない」ということは間違いである」モンスターはいる fact5: もしこのぽやぽのLv.34が悩ましいとすればこのまやまえLv.76は悩ましい fact6: もし「「破水するしかつ後ろ暗くない」ということは成り立つということはない」モンスターがいるとすればそのみちょみのLv.1は破水するということはない
fact2 -> int1: もしそのみちょみのLv.1が破水しないとすれば作り難くないかまたはそれは口惜しくないかあるいは両方だ; fact4 & fact6 -> int2: そのみちょみのLv.1は破水しない; int1 & int2 -> int3: そのみちょみのLv.1は作り難いということはないかそれは口惜しいということはないかまたは両方ともである; int3 & fact3 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); fact4 & fact6 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} v ¬{AB}{aa}); int3 & fact3 -> hypothesis;
このまやまえLv.76は生臭くない
fact8 -> int4: もし仮にこのまやまえLv.76が破水するか悩ましいとしたらそれは生臭くない;
$facts$ = fact1: もしもなんらかのモンスターは破水するかまたは悩ましいか両方だとすると「生臭くない」ということは成り立つ fact2: あるモンスターが破水しないとしたらそれは作り難くないかそれは口惜しくないかあるいは両方だ fact3: もしもそのみちょみのLv.1が作り難くないかまたは口惜しくないかあるいは両方ならばこのまやまえLv.76は生臭い fact4: 「「破水するししかも後ろ暗くない」ということは間違いである」モンスターはいる fact5: もしこのぽやぽのLv.34が悩ましいとすればこのまやまえLv.76は悩ましい fact6: もし「「破水するしかつ後ろ暗くない」ということは成り立つということはない」モンスターがいるとすればそのみちょみのLv.1は破水するということはない ; $hypothesis$ = このまやまえLv.76は生臭くない ; $proof$ = 
fact2 -> int1: もしそのみちょみのLv.1が破水しないとすれば作り難くないかまたはそれは口惜しくないかあるいは両方だ; fact4 & fact6 -> int2: そのみちょみのLv.1は破水しない; int1 & int2 -> int3: そのみちょみのLv.1は作り難いということはないかそれは口惜しいということはないかまたは両方ともである; int3 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); fact4 & fact6 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} v ¬{AB}{aa}); int3 & fact3 -> hypothesis; __DISPROVED__