この反り身は固しけど冷め易くない
fact1: 仮にそのリスク対策が小売りするとするとあの早飯試験は出し易いけれど固しということはない fact2: 「そのリスク対策は小売りするということはなくてそれにそれはラウンドしない」ということは間違いだとすればそれは固し fact3: この反り身は冷め易くない fact4: もし仮にとある物は開通すれば「それはＯＥＣＤ加盟国であるかまたはそれは腸液でない」ということは成り立たない fact5: そのリスク対策は小売りしない fact6: この文化行政上がラウンドしないとしたらこの反り身は冷め易いか小売りするかまたはどちらもである fact7: 「何らかの物はＯＥＣＤ加盟国であるかまたはそれは腸液でないかあるいはどちらもである」ということは本当でないとするとラウンドしない fact8: 「そのリスク対策は固しない」ということは嘘であるとすればこの反り身は冷め易くない fact9: もしそのリスク対策が固しならばこの反り身は固しがそれは冷め易いということはない fact10: 「そのリスク対策は小売りするけどラウンドしない」ということは間違っている fact11: そのリスク対策はラウンドする fact12: もし仮にそのリスク対策が小売りするとしたら固し fact13: この生体膜はラウンドする fact14: もしもこの反り身がラウンドするとしたらそのリスク対策はラウンドするけど冷め易くない
void -> assump1: 以下のように仮定する。そのリスク対策は小売りしないしラウンドしない; assump1 -> int1: 「そのリスク対策はラウンドするということはない」ということは真実だ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのリスク対策は小売りしなくてラウンドしない」ということは成り立つということはない; int3 & fact2 -> int4: そのリスク対策は固し; int4 & fact9 -> hypothesis;
あの早飯試験は出し易いけど固しない
fact18 -> int5: 「この文化行政上はＯＥＣＤ加盟国であるかもしくは腸液でないかもしくは両方である」ということは成り立たないとするとそれはラウンドしない; fact16 -> int6: この文化行政上は開通するとすると「それはＯＥＣＤ加盟国であるか腸液だということはないかあるいは両方ともである」ということは誤りだ;
$facts$ = fact1: 仮にそのリスク対策が小売りするとするとあの早飯試験は出し易いけれど固しということはない fact2: 「そのリスク対策は小売りするということはなくてそれにそれはラウンドしない」ということは間違いだとすればそれは固し fact3: この反り身は冷め易くない fact4: もし仮にとある物は開通すれば「それはＯＥＣＤ加盟国であるかまたはそれは腸液でない」ということは成り立たない fact5: そのリスク対策は小売りしない fact6: この文化行政上がラウンドしないとしたらこの反り身は冷め易いか小売りするかまたはどちらもである fact7: 「何らかの物はＯＥＣＤ加盟国であるかまたはそれは腸液でないかあるいはどちらもである」ということは本当でないとするとラウンドしない fact8: 「そのリスク対策は固しない」ということは嘘であるとすればこの反り身は冷め易くない fact9: もしそのリスク対策が固しならばこの反り身は固しがそれは冷め易いということはない fact10: 「そのリスク対策は小売りするけどラウンドしない」ということは間違っている fact11: そのリスク対策はラウンドする fact12: もし仮にそのリスク対策が小売りするとしたら固し fact13: この生体膜はラウンドする fact14: もしもこの反り身がラウンドするとしたらそのリスク対策はラウンドするけど冷め易くない ; $hypothesis$ = この反り身は固しけど冷め易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのリスク対策は小売りしないしラウンドしない; assump1 -> int1: 「そのリスク対策はラウンドするということはない」ということは真実だ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのリスク対策は小売りしなくてラウンドしない」ということは成り立つということはない; int3 & fact2 -> int4: そのリスク対策は固し; int4 & fact9 -> hypothesis; __PROVED__
事実1: 仮にそのリスク対策が小売りするとするとあの早飯試験は出し易いけれど固しということはない
事実2: 「そのリスク対策は小売りするということはなくてそれにそれはラウンドしない」ということは間違いだとすればそれは固し
事実3: この反り身は冷め易くない
事実4: もし仮にとある物は開通すれば「それはＯＥＣＤ加盟国であるかまたはそれは腸液でない」ということは成り立たない
事実5: そのリスク対策は小売りしない
事実6: この文化行政上がラウンドしないとしたらこの反り身は冷め易いか小売りするかまたはどちらもである
事実7: 「何らかの物はＯＥＣＤ加盟国であるかまたはそれは腸液でないかあるいはどちらもである」ということは本当でないとするとラウンドしない
事実8: 「そのリスク対策は固しない」ということは嘘であるとすればこの反り身は冷め易くない
事実9: もしそのリスク対策が固しならばこの反り身は固しがそれは冷め易いということはない
事実10: 「そのリスク対策は小売りするけどラウンドしない」ということは間違っている
事実11: そのリスク対策はラウンドする
事実12: もし仮にそのリスク対策が小売りするとしたら固し
事実13: この生体膜はラウンドする
事実14: もしもこの反り身がラウンドするとしたらそのリスク対策はラウンドするけど冷め易くない

仮説: この反り身は固しけど冷め易くない
1. 仮定1: 以下のように仮定する。そのリスク対策は小売りしないしラウンドしない
2. 仮定1から、推論1: "「そのリスク対策はラウンドするということはない」ということは真実だ"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのリスク対策は小売りしなくてラウンドしない」ということは成り立つということはない"が導かれる
5. 推論3と事実2から、推論4: "そのリスク対策は固し"が導かれる
6. 推論4と事実9から、仮説が導かれる

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