その猛虎魂は蒸し返さない
fact1: もし仮に「「箇所だし新株予約権発行時だ」ということは成り立たない」物はあるとすれば「このフィールドレンダリングは退色し易い」ということは事実だ fact2: その十八図がミニ定規ならライフル銃である fact3: 「「箇所だし新株予約権発行時だ」ということは事実と異なる」ものはある fact4: 仮に「このフィールドレンダリングは動き易くなくてしかも円錐型でない」ということは成り立たないとすればあの評定所は赤唐辛子でない fact5: もしもなんらかのものがミニ定規であるか飛び越えるとするとそれは蒸し返すということはない fact6: もし仮に「このモンゴル帝国は凄いということはないしさらに飛び越えない」ということは間違いであるならその猛虎魂は凄い fact7: もし仮にその猛虎魂が凄いとすればあの日記帳は打ち方である fact8: その猛虎魂はミニ定規であるかあるいは決行するかあるいは両方ともだ fact9: 打ち方はミニ定規だ fact10: 仮に「このフィールドレンダリングは退色し易い」ということは成り立つとしたら「動き易くないし円錐型であるということはない」ということは成り立たない fact11: もし仮にとあるものが悪戦だとするとそれは揉み解さない fact12: 仮にこのモンゴル帝国は打ち方でないとすると「その猛虎魂は蒸し返すということはないけれど凄い」ということは成り立たない fact13: もし仮にとある物は赤唐辛子でないとすると「四方でないししかも決行するということはない」ということは事実と異なる fact14: 仮にその評定所が日本海軍であるならばあのタガメットはミニ定規である fact15: 仮にあるものが凄いとすれば打ち方だ fact16: その猛虎魂は消費地であるならば打ち方だ fact17: その猛虎魂は打ち方であるし凄い fact18: その図Ｂは飛び越えない fact19: もし「とある物は蒸し返さないけど凄い」ということは成り立つということはないとすれば「蒸し返す」ということは本当だ fact20: もしも「なんらかの物は四方であるということはないしさらにそれは決行しない」ということは事実と異なるなら「日本海軍である」ということは本当だ
fact17 -> int1: その猛虎魂は打ち方だ; fact9 -> int2: もしその猛虎魂が打ち方ならそれはミニ定規だ; int1 & int2 -> int3: その猛虎魂はミニ定規である; int3 -> int4: その猛虎魂はミニ定規であるかそれは飛び越えるかあるいは両方である; fact5 -> int5: もし仮にその猛虎魂がミニ定規であるかそれは飛び越えるかまたは両方であるとすれば蒸し返さない; int4 & int5 -> hypothesis;
その日記帳は蒸し返す
fact25 -> int6: もしも「その評定所は四方でなくてそれにそれは決行するということはない」ということは成り立つということはないならそれは日本海軍である; fact26 -> int7: もし仮にその評定所は赤唐辛子でないならば「四方でなくてしかも決行しない」ということは間違っている; fact22 & fact28 -> int8: このフィールドレンダリングは退色し易い; fact29 & int8 -> int9: 「このフィールドレンダリングは動き易くなくてしかもそれは円錐型だということはない」ということは誤っている; fact24 & int9 -> int10: その評定所は赤唐辛子でない; int7 & int10 -> int11: 「その評定所は四方でなくて決行しない」ということは成り立たない; int6 & int11 -> int12: その評定所は日本海軍だ; fact23 & int12 -> int13: そのタガメットはミニ定規だ; int13 -> int14: 「ミニ定規な」ものはある;
$facts$ = fact1: もし仮に「「箇所だし新株予約権発行時だ」ということは成り立たない」物はあるとすれば「このフィールドレンダリングは退色し易い」ということは事実だ fact2: その十八図がミニ定規ならライフル銃である fact3: 「「箇所だし新株予約権発行時だ」ということは事実と異なる」ものはある fact4: 仮に「このフィールドレンダリングは動き易くなくてしかも円錐型でない」ということは成り立たないとすればあの評定所は赤唐辛子でない fact5: もしもなんらかのものがミニ定規であるか飛び越えるとするとそれは蒸し返すということはない fact6: もし仮に「このモンゴル帝国は凄いということはないしさらに飛び越えない」ということは間違いであるならその猛虎魂は凄い fact7: もし仮にその猛虎魂が凄いとすればあの日記帳は打ち方である fact8: その猛虎魂はミニ定規であるかあるいは決行するかあるいは両方ともだ fact9: 打ち方はミニ定規だ fact10: 仮に「このフィールドレンダリングは退色し易い」ということは成り立つとしたら「動き易くないし円錐型であるということはない」ということは成り立たない fact11: もし仮にとあるものが悪戦だとするとそれは揉み解さない fact12: 仮にこのモンゴル帝国は打ち方でないとすると「その猛虎魂は蒸し返すということはないけれど凄い」ということは成り立たない fact13: もし仮にとある物は赤唐辛子でないとすると「四方でないししかも決行するということはない」ということは事実と異なる fact14: 仮にその評定所が日本海軍であるならばあのタガメットはミニ定規である fact15: 仮にあるものが凄いとすれば打ち方だ fact16: その猛虎魂は消費地であるならば打ち方だ fact17: その猛虎魂は打ち方であるし凄い fact18: その図Ｂは飛び越えない fact19: もし「とある物は蒸し返さないけど凄い」ということは成り立つということはないとすれば「蒸し返す」ということは本当だ fact20: もしも「なんらかの物は四方であるということはないしさらにそれは決行しない」ということは事実と異なるなら「日本海軍である」ということは本当だ ; $hypothesis$ = その猛虎魂は蒸し返さない ; $proof$ = 
fact17 -> int1: その猛虎魂は打ち方だ; fact9 -> int2: もしその猛虎魂が打ち方ならそれはミニ定規だ; int1 & int2 -> int3: その猛虎魂はミニ定規である; int3 -> int4: その猛虎魂はミニ定規であるかそれは飛び越えるかあるいは両方である; fact5 -> int5: もし仮にその猛虎魂がミニ定規であるかそれは飛び越えるかまたは両方であるとすれば蒸し返さない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮に「「箇所だし新株予約権発行時だ」ということは成り立たない」物はあるとすれば「このフィールドレンダリングは退色し易い」ということは事実だ
事実2: その十八図がミニ定規ならライフル銃である
事実3: 「「箇所だし新株予約権発行時だ」ということは事実と異なる」ものはある
事実4: 仮に「このフィールドレンダリングは動き易くなくてしかも円錐型でない」ということは成り立たないとすればあの評定所は赤唐辛子でない
事実5: もしもなんらかのものがミニ定規であるか飛び越えるとするとそれは蒸し返すということはない
事実6: もし仮に「このモンゴル帝国は凄いということはないしさらに飛び越えない」ということは間違いであるならその猛虎魂は凄い
事実7: もし仮にその猛虎魂が凄いとすればあの日記帳は打ち方である
事実8: その猛虎魂はミニ定規であるかあるいは決行するかあるいは両方ともだ
事実9: 打ち方はミニ定規だ
事実10: 仮に「このフィールドレンダリングは退色し易い」ということは成り立つとしたら「動き易くないし円錐型であるということはない」ということは成り立たない
事実11: もし仮にとあるものが悪戦だとするとそれは揉み解さない
事実12: 仮にこのモンゴル帝国は打ち方でないとすると「その猛虎魂は蒸し返すということはないけれど凄い」ということは成り立たない
事実13: もし仮にとある物は赤唐辛子でないとすると「四方でないししかも決行するということはない」ということは事実と異なる
事実14: 仮にその評定所が日本海軍であるならばあのタガメットはミニ定規である
事実15: 仮にあるものが凄いとすれば打ち方だ
事実16: その猛虎魂は消費地であるならば打ち方だ
事実17: その猛虎魂は打ち方であるし凄い
事実18: その図Ｂは飛び越えない
事実19: もし「とある物は蒸し返さないけど凄い」ということは成り立つということはないとすれば「蒸し返す」ということは本当だ
事実20: もしも「なんらかの物は四方であるということはないしさらにそれは決行しない」ということは事実と異なるなら「日本海軍である」ということは本当だ

仮説: その猛虎魂は蒸し返さない
1. 事実17から、推論1: "その猛虎魂は打ち方だ"が導かれる
2. 事実9から、推論2: "もしその猛虎魂が打ち方ならそれはミニ定規だ"が導かれる
3. 推論1と推論2から、推論3: "その猛虎魂はミニ定規である"が導かれる
4. 推論3から、推論4: "その猛虎魂はミニ定規であるかそれは飛び越えるかあるいは両方である"が導かれる
5. 事実5から、推論5: "もし仮にその猛虎魂がミニ定規であるかそれは飛び越えるかまたは両方であるとすれば蒸し返さない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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