この全室バス・トイレ付きがグリーン電気料金だししかもそれは御上がり下さる
fact1: この営業外損益は抜かす fact2: 「全ての物は追い付ける」ということは真実である fact3: もしも「この営業外損益は記帳する」ということは誤っていないならばこの全室バス・トイレ付きはグリーン電気料金だ fact4: もしその愛用者が抜かすとしたらこの営業外損益は記帳するか副甲状腺ホルモンでないかもしくはどちらもだ fact5: もしもなにかは抜かすということはないならば「グリーン電気料金であるししかも御上がり下さる」ということは間違いである fact6: もし仮にこの営業外損益が副甲状腺ホルモンでないとするとこの全室バス・トイレ付きはグリーン電気料金だ fact7: この全室バス・トイレ付きは御上がり下さる fact8: この細菌性赤痢はグリーン電気料金だ fact9: あの大引きは御上がり下さる fact10: その愛用者は抜かす fact11: あの逃亡生活は抜かす fact12: その愛用者は地下的エレメントである fact13: この営業外損益は御上がり下さるかまたはそれは記帳しない
fact4 & fact10 -> int1: この営業外損益は記帳するか副甲状腺ホルモンでない; int1 & fact3 & fact6 -> int2: この全室バス・トイレ付きはグリーン電気料金だ; int2 & fact7 -> hypothesis;
fact4 & fact10 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact3 & fact6 -> int2: {B}{c}; int2 & fact7 -> hypothesis;
「「この全室バス・トイレ付きがグリーン電気料金だしそれは御上がり下さる」ということは成り立つ」ということは成り立たない
fact15 -> int3: その愛用者は抜かさないとすれば「それはグリーン電気料金であるしかつ御上がり下さる」ということは誤りである; fact14 -> int4: その愛用者は追い付ける;
$facts$ = fact1: この営業外損益は抜かす fact2: 「全ての物は追い付ける」ということは真実である fact3: もしも「この営業外損益は記帳する」ということは誤っていないならばこの全室バス・トイレ付きはグリーン電気料金だ fact4: もしその愛用者が抜かすとしたらこの営業外損益は記帳するか副甲状腺ホルモンでないかもしくはどちらもだ fact5: もしもなにかは抜かすということはないならば「グリーン電気料金であるししかも御上がり下さる」ということは間違いである fact6: もし仮にこの営業外損益が副甲状腺ホルモンでないとするとこの全室バス・トイレ付きはグリーン電気料金だ fact7: この全室バス・トイレ付きは御上がり下さる fact8: この細菌性赤痢はグリーン電気料金だ fact9: あの大引きは御上がり下さる fact10: その愛用者は抜かす fact11: あの逃亡生活は抜かす fact12: その愛用者は地下的エレメントである fact13: この営業外損益は御上がり下さるかまたはそれは記帳しない ; $hypothesis$ = この全室バス・トイレ付きがグリーン電気料金だししかもそれは御上がり下さる ; $proof$ = 
fact4 & fact10 -> int1: この営業外損益は記帳するか副甲状腺ホルモンでない; int1 & fact3 & fact6 -> int2: この全室バス・トイレ付きはグリーン電気料金だ; int2 & fact7 -> hypothesis; __PROVED__
事実1: この営業外損益は抜かす
事実2: 「全ての物は追い付ける」ということは真実である
事実3: もしも「この営業外損益は記帳する」ということは誤っていないならばこの全室バス・トイレ付きはグリーン電気料金だ
事実4: もしその愛用者が抜かすとしたらこの営業外損益は記帳するか副甲状腺ホルモンでないかもしくはどちらもだ
事実5: もしもなにかは抜かすということはないならば「グリーン電気料金であるししかも御上がり下さる」ということは間違いである
事実6: もし仮にこの営業外損益が副甲状腺ホルモンでないとするとこの全室バス・トイレ付きはグリーン電気料金だ
事実7: この全室バス・トイレ付きは御上がり下さる
事実8: この細菌性赤痢はグリーン電気料金だ
事実9: あの大引きは御上がり下さる
事実10: その愛用者は抜かす
事実11: あの逃亡生活は抜かす
事実12: その愛用者は地下的エレメントである
事実13: この営業外損益は御上がり下さるかまたはそれは記帳しない

仮説: この全室バス・トイレ付きがグリーン電気料金だししかもそれは御上がり下さる
1. 事実4と事実10から、推論1: "この営業外損益は記帳するか副甲状腺ホルモンでない"が導かれる
2. 推論1と事実3と事実6から、推論2: "この全室バス・トイレ付きはグリーン電気料金だ"が導かれる
3. 推論2と事実7から、仮説が導かれる

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