このベッドキットは零すしそれは礼儀正しい
fact1: 全てのものは大型魚であるかまたはそれは御連れ下さるかもしくはどちらもである fact2: もしこの救命ボートが御連れ下さるとしたらこのベッドキットは礼儀正しい fact3: 仮にこの電子ビームが温かいということはないならこのベッドキットは温かいということはない fact4: もしこの救命ボートが遣り兼ねるがそれが温かいということはないとすればそのスピーカーは温かい fact5: そのスピーカーは饂飩屋でない fact6: 「この電子ビームは温かいけど手痛くない」ということは成り立たない fact7: この電子ビームは温かいとすると「「そのスピーカーは手痛いし更に饂飩屋だ」ということは誤っている」ということは事実だ fact8: そのスピーカーは手痛い一方で饂飩屋でない fact9: 「そのスピーカーは手痛くて加えて饂飩屋である」ということは成り立たない fact10: もしも「この救命ボートは御連れ下さらないけどそれは温かい」ということは間違いだとするとそれは温かくない fact11: もしもこの電子ビームは温かいとしたら「そのスピーカーは手痛いけれどそれは饂飩屋でない」ということは偽だ fact12: もしそのスピーカーが温かいとするとこの電子ビームは零さない fact13: 「そのスピーカーは礼儀正しいがしかし饂飩屋でない」ということは成り立たない fact14: この救命ボートは遣り兼ねる fact15: もし何らかのものが遣り兼ねるとするとそれは零す fact16: もしこの電子ビームが温かくないならばあのベッドキットは温かくないがしかし遣り兼ねる fact17: このベッドキットは温かくない fact18: もし仮にこの救命ボートが大型魚だとしたらこのベッドキットは礼儀正しい fact19: そのスピーカーは饂飩屋でない一方で温かい
void -> assump1: 以下のように仮定する。この電子ビームは温かい; fact11 & assump1 -> int1: 「「そのスピーカーは手痛いがそれは饂飩屋であるということはない」ということは正しい」ということは偽である; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: この電子ビームは温かくない; int3 & fact16 -> int4: このベッドキットは温かくない一方で遣り兼ねる; int4 -> int5: 「このベッドキットは遣り兼ねる」ということは確かである; fact15 -> int6: このベッドキットが遣り兼ねれば零す; int5 & int6 -> int7: このベッドキットは零す; fact1 -> int8: この救命ボートは大型魚であるかまたは御連れ下さるかもしくは両方ともだ; int8 & fact18 & fact2 -> int9: このベッドキットは礼儀正しい; int7 & int9 -> hypothesis;
「このベッドキットは零すしその上礼儀正しい」ということは間違いである
$facts$ = fact1: 全てのものは大型魚であるかまたはそれは御連れ下さるかもしくはどちらもである fact2: もしこの救命ボートが御連れ下さるとしたらこのベッドキットは礼儀正しい fact3: 仮にこの電子ビームが温かいということはないならこのベッドキットは温かいということはない fact4: もしこの救命ボートが遣り兼ねるがそれが温かいということはないとすればそのスピーカーは温かい fact5: そのスピーカーは饂飩屋でない fact6: 「この電子ビームは温かいけど手痛くない」ということは成り立たない fact7: この電子ビームは温かいとすると「「そのスピーカーは手痛いし更に饂飩屋だ」ということは誤っている」ということは事実だ fact8: そのスピーカーは手痛い一方で饂飩屋でない fact9: 「そのスピーカーは手痛くて加えて饂飩屋である」ということは成り立たない fact10: もしも「この救命ボートは御連れ下さらないけどそれは温かい」ということは間違いだとするとそれは温かくない fact11: もしもこの電子ビームは温かいとしたら「そのスピーカーは手痛いけれどそれは饂飩屋でない」ということは偽だ fact12: もしそのスピーカーが温かいとするとこの電子ビームは零さない fact13: 「そのスピーカーは礼儀正しいがしかし饂飩屋でない」ということは成り立たない fact14: この救命ボートは遣り兼ねる fact15: もし何らかのものが遣り兼ねるとするとそれは零す fact16: もしこの電子ビームが温かくないならばあのベッドキットは温かくないがしかし遣り兼ねる fact17: このベッドキットは温かくない fact18: もし仮にこの救命ボートが大型魚だとしたらこのベッドキットは礼儀正しい fact19: そのスピーカーは饂飩屋でない一方で温かい ; $hypothesis$ = このベッドキットは零すしそれは礼儀正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この電子ビームは温かい; fact11 & assump1 -> int1: 「「そのスピーカーは手痛いがそれは饂飩屋であるということはない」ということは正しい」ということは偽である; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: この電子ビームは温かくない; int3 & fact16 -> int4: このベッドキットは温かくない一方で遣り兼ねる; int4 -> int5: 「このベッドキットは遣り兼ねる」ということは確かである; fact15 -> int6: このベッドキットが遣り兼ねれば零す; int5 & int6 -> int7: このベッドキットは零す; fact1 -> int8: この救命ボートは大型魚であるかまたは御連れ下さるかもしくは両方ともだ; int8 & fact18 & fact2 -> int9: このベッドキットは礼儀正しい; int7 & int9 -> hypothesis; __PROVED__
事実1: 全てのものは大型魚であるかまたはそれは御連れ下さるかもしくはどちらもである
事実2: もしこの救命ボートが御連れ下さるとしたらこのベッドキットは礼儀正しい
事実3: 仮にこの電子ビームが温かいということはないならこのベッドキットは温かいということはない
事実4: もしこの救命ボートが遣り兼ねるがそれが温かいということはないとすればそのスピーカーは温かい
事実5: そのスピーカーは饂飩屋でない
事実6: 「この電子ビームは温かいけど手痛くない」ということは成り立たない
事実7: この電子ビームは温かいとすると「「そのスピーカーは手痛いし更に饂飩屋だ」ということは誤っている」ということは事実だ
事実8: そのスピーカーは手痛い一方で饂飩屋でない
事実9: 「そのスピーカーは手痛くて加えて饂飩屋である」ということは成り立たない
事実10: もしも「この救命ボートは御連れ下さらないけどそれは温かい」ということは間違いだとするとそれは温かくない
事実11: もしもこの電子ビームは温かいとしたら「そのスピーカーは手痛いけれどそれは饂飩屋でない」ということは偽だ
事実12: もしそのスピーカーが温かいとするとこの電子ビームは零さない
事実13: 「そのスピーカーは礼儀正しいがしかし饂飩屋でない」ということは成り立たない
事実14: この救命ボートは遣り兼ねる
事実15: もし何らかのものが遣り兼ねるとするとそれは零す
事実16: もしこの電子ビームが温かくないならばあのベッドキットは温かくないがしかし遣り兼ねる
事実17: このベッドキットは温かくない
事実18: もし仮にこの救命ボートが大型魚だとしたらこのベッドキットは礼儀正しい
事実19: そのスピーカーは饂飩屋でない一方で温かい

仮説: このベッドキットは零すしそれは礼儀正しい
1. 仮定1: 以下のように仮定する。この電子ビームは温かい
2. 事実11と仮定1から、推論1: "「「そのスピーカーは手痛いがそれは饂飩屋であるということはない」ということは正しい」ということは偽である"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この電子ビームは温かくない"が導かれる
5. 推論3と事実16から、推論4: "このベッドキットは温かくない一方で遣り兼ねる"が導かれる
6. 推論4から、推論5: "「このベッドキットは遣り兼ねる」ということは確かである"が導かれる
7. 事実15から、推論6: "このベッドキットが遣り兼ねれば零す"が導かれる
8. 推論5と推論6から、推論7: "このベッドキットは零す"が導かれる
9. 事実1から、推論8: "この救命ボートは大型魚であるかまたは御連れ下さるかもしくは両方ともだ"が導かれる
10. 推論8と事実18と事実2から、推論9: "このベッドキットは礼儀正しい"が導かれる
11. 推論7と推論9から、仮説が導かれる

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