そのドナー部位は落ち易いということはない
fact1: もしも何かは死傷しないとすれば「植民地教育令でなくて落ち易くない」ということは正しくない fact2: その入浴後は消え掛かるししかもそれは乱暴する fact3: 「その指紋照合は徹底すけれど小暗くない」ということは間違いだ fact4: 「その指紋照合は乱暴するかまたは発生し難いかあるいはどちらもだ」ということは誤りならばあの企業側は心優しくない fact5: 仮に「あの企業側は徹底すらないかもしくはそれは死傷するかあるいは両方である」ということは成り立たないなら「そのドナー部位は死傷するということはない」ということは成り立つ fact6: そのドナー部位は死傷する fact7: もし「そのドナー部位は落ち易くなくてそれに死傷しない」ということは間違いならば「あの企業側は落ち易い」ということは成り立つ fact8: あの企業側は死傷する fact9: 「その指紋照合は心優しくなくてその上乱暴しない」ということは間違っている fact10: あのアドレナリンは心優しい fact11: もし仮に何らかのものは死傷しないとすると「心優しくないしおまけにそれは植民地教育令である」ということは真実でない fact12: もしもそのドナー部位が徹底すらないとすれば落ち易くない fact13: 「「その指紋照合は心優しいということはないし乱暴しない」ということは真実でない」ということは事実だとしたらそのドナー部位は心優しい fact14: もし「あの企業側は死傷しない」ということは嘘であるならそのドナー部位は植民地教育令である fact15: もしもその指紋照合はデイルームでないなら「乱暴するか発生し難い」ということは事実と異なる fact16: もし「その指紋照合は植民地教育令でないしさらに落ち易くない」ということは偽であるなら「そのドナー部位は植民地教育令だ」ということは本当だ fact17: もし仮にそのドナー部位は植民地教育令であるし加えて心優しいならばそれは徹底すらない fact18: もし仮にあの企業側が落ち易くないとしたら成立し難くない fact19: 「「あの企業側は植民地教育令でないし更に死傷しない」ということは事実だ」ということは成り立たない
fact14 & fact8 -> int1: そのドナー部位は植民地教育令である; fact9 & fact13 -> int2: そのドナー部位は心優しい; int1 & int2 -> int3: そのドナー部位は植民地教育令であるし心優しい; int3 & fact17 -> int4: そのドナー部位は徹底すらない; int4 & fact12 -> hypothesis;
「そのドナー部位は落ち易い」ということは事実だ
fact23 -> int5: そのドナー部位は死傷するということはないとしたら「それは植民地教育令でないしさらにそれは落ち易いということはない」ということは正しくない;
$facts$ = fact1: もしも何かは死傷しないとすれば「植民地教育令でなくて落ち易くない」ということは正しくない fact2: その入浴後は消え掛かるししかもそれは乱暴する fact3: 「その指紋照合は徹底すけれど小暗くない」ということは間違いだ fact4: 「その指紋照合は乱暴するかまたは発生し難いかあるいはどちらもだ」ということは誤りならばあの企業側は心優しくない fact5: 仮に「あの企業側は徹底すらないかもしくはそれは死傷するかあるいは両方である」ということは成り立たないなら「そのドナー部位は死傷するということはない」ということは成り立つ fact6: そのドナー部位は死傷する fact7: もし「そのドナー部位は落ち易くなくてそれに死傷しない」ということは間違いならば「あの企業側は落ち易い」ということは成り立つ fact8: あの企業側は死傷する fact9: 「その指紋照合は心優しくなくてその上乱暴しない」ということは間違っている fact10: あのアドレナリンは心優しい fact11: もし仮に何らかのものは死傷しないとすると「心優しくないしおまけにそれは植民地教育令である」ということは真実でない fact12: もしもそのドナー部位が徹底すらないとすれば落ち易くない fact13: 「「その指紋照合は心優しいということはないし乱暴しない」ということは真実でない」ということは事実だとしたらそのドナー部位は心優しい fact14: もし「あの企業側は死傷しない」ということは嘘であるならそのドナー部位は植民地教育令である fact15: もしもその指紋照合はデイルームでないなら「乱暴するか発生し難い」ということは事実と異なる fact16: もし「その指紋照合は植民地教育令でないしさらに落ち易くない」ということは偽であるなら「そのドナー部位は植民地教育令だ」ということは本当だ fact17: もし仮にそのドナー部位は植民地教育令であるし加えて心優しいならばそれは徹底すらない fact18: もし仮にあの企業側が落ち易くないとしたら成立し難くない fact19: 「「あの企業側は植民地教育令でないし更に死傷しない」ということは事実だ」ということは成り立たない ; $hypothesis$ = そのドナー部位は落ち易いということはない ; $proof$ = 
fact14 & fact8 -> int1: そのドナー部位は植民地教育令である; fact9 & fact13 -> int2: そのドナー部位は心優しい; int1 & int2 -> int3: そのドナー部位は植民地教育令であるし心優しい; int3 & fact17 -> int4: そのドナー部位は徹底すらない; int4 & fact12 -> hypothesis; __PROVED__
事実1: もしも何かは死傷しないとすれば「植民地教育令でなくて落ち易くない」ということは正しくない
事実2: その入浴後は消え掛かるししかもそれは乱暴する
事実3: 「その指紋照合は徹底すけれど小暗くない」ということは間違いだ
事実4: 「その指紋照合は乱暴するかまたは発生し難いかあるいはどちらもだ」ということは誤りならばあの企業側は心優しくない
事実5: 仮に「あの企業側は徹底すらないかもしくはそれは死傷するかあるいは両方である」ということは成り立たないなら「そのドナー部位は死傷するということはない」ということは成り立つ
事実6: そのドナー部位は死傷する
事実7: もし「そのドナー部位は落ち易くなくてそれに死傷しない」ということは間違いならば「あの企業側は落ち易い」ということは成り立つ
事実8: あの企業側は死傷する
事実9: 「その指紋照合は心優しくなくてその上乱暴しない」ということは間違っている
事実10: あのアドレナリンは心優しい
事実11: もし仮に何らかのものは死傷しないとすると「心優しくないしおまけにそれは植民地教育令である」ということは真実でない
事実12: もしもそのドナー部位が徹底すらないとすれば落ち易くない
事実13: 「「その指紋照合は心優しいということはないし乱暴しない」ということは真実でない」ということは事実だとしたらそのドナー部位は心優しい
事実14: もし「あの企業側は死傷しない」ということは嘘であるならそのドナー部位は植民地教育令である
事実15: もしもその指紋照合はデイルームでないなら「乱暴するか発生し難い」ということは事実と異なる
事実16: もし「その指紋照合は植民地教育令でないしさらに落ち易くない」ということは偽であるなら「そのドナー部位は植民地教育令だ」ということは本当だ
事実17: もし仮にそのドナー部位は植民地教育令であるし加えて心優しいならばそれは徹底すらない
事実18: もし仮にあの企業側が落ち易くないとしたら成立し難くない
事実19: 「「あの企業側は植民地教育令でないし更に死傷しない」ということは事実だ」ということは成り立たない

仮説: そのドナー部位は落ち易いということはない
1. 事実14と事実8から、推論1: "そのドナー部位は植民地教育令である"が導かれる
2. 事実9と事実13から、推論2: "そのドナー部位は心優しい"が導かれる
3. 推論1と推論2から、推論3: "そのドナー部位は植民地教育令であるし心優しい"が導かれる
4. 推論3と事実17から、推論4: "そのドナー部位は徹底すらない"が導かれる
5. 推論4と事実12から、仮説が導かれる

よって、仮説が証明されました。