あの併用は梟便である
fact1: 「あのファールは異常感覚でないけど広い」ということは成り立たない fact2: もし仮に何らかの物が染み込まないかもしくはそれは列車ダイヤでないかまたはどちらもだとすれば染み込むということはない fact3: あの併用は主要産地でない fact4: もしもあの併用が退屈し切らないならばあの対立は初々しかなくて梟便でない fact5: もしあの併用が初々しかないならそれは主要産地でなくて加えてそれは味気なくない fact6: もしもあの併用が初々しいということはないならばそれは主要産地でない fact7: その顧問会議は主要産地でない fact8: もし仮にあのウイルス分離が初々しいならあの併用は梟便でない fact9: もし仮になにかは初々しいとしたら梟便だ fact10: 仮になにがしかのものが列車ダイヤならばそれは退屈し切らないし染み込まない fact11: あの併用は味気ない fact12: 「なにかは異常感覚でないが広い」ということは間違いであるとするとそれは怠いということはない fact13: 仮に何らかの物が怠くらないとすると染み込まないかあるいは列車ダイヤでないかあるいは両方ともである
void -> assump1: 以下のように仮定する。「あの併用は初々しかない」ということは成り立つ; fact5 & assump1 -> int1: あの併用は主要産地でないしそれは味気なくない; int1 -> int2: あの併用は味気なくない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの併用は初々しい; fact9 -> int5: もし仮にあの併用が初々しいとするとそれは梟便である; int4 & int5 -> hypothesis;
あの対立は梟便でない
fact15 -> int6: もしもあの併用が列車ダイヤだとすると退屈し切るということはなくて染み込むということはない;
$facts$ = fact1: 「あのファールは異常感覚でないけど広い」ということは成り立たない fact2: もし仮に何らかの物が染み込まないかもしくはそれは列車ダイヤでないかまたはどちらもだとすれば染み込むということはない fact3: あの併用は主要産地でない fact4: もしもあの併用が退屈し切らないならばあの対立は初々しかなくて梟便でない fact5: もしあの併用が初々しかないならそれは主要産地でなくて加えてそれは味気なくない fact6: もしもあの併用が初々しいということはないならばそれは主要産地でない fact7: その顧問会議は主要産地でない fact8: もし仮にあのウイルス分離が初々しいならあの併用は梟便でない fact9: もし仮になにかは初々しいとしたら梟便だ fact10: 仮になにがしかのものが列車ダイヤならばそれは退屈し切らないし染み込まない fact11: あの併用は味気ない fact12: 「なにかは異常感覚でないが広い」ということは間違いであるとするとそれは怠いということはない fact13: 仮に何らかの物が怠くらないとすると染み込まないかあるいは列車ダイヤでないかあるいは両方ともである ; $hypothesis$ = あの併用は梟便である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの併用は初々しかない」ということは成り立つ; fact5 & assump1 -> int1: あの併用は主要産地でないしそれは味気なくない; int1 -> int2: あの併用は味気なくない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの併用は初々しい; fact9 -> int5: もし仮にあの併用が初々しいとするとそれは梟便である; int4 & int5 -> hypothesis; __PROVED__
事実1: 「あのファールは異常感覚でないけど広い」ということは成り立たない
事実2: もし仮に何らかの物が染み込まないかもしくはそれは列車ダイヤでないかまたはどちらもだとすれば染み込むということはない
事実3: あの併用は主要産地でない
事実4: もしもあの併用が退屈し切らないならばあの対立は初々しかなくて梟便でない
事実5: もしあの併用が初々しかないならそれは主要産地でなくて加えてそれは味気なくない
事実6: もしもあの併用が初々しいということはないならばそれは主要産地でない
事実7: その顧問会議は主要産地でない
事実8: もし仮にあのウイルス分離が初々しいならあの併用は梟便でない
事実9: もし仮になにかは初々しいとしたら梟便だ
事実10: 仮になにがしかのものが列車ダイヤならばそれは退屈し切らないし染み込まない
事実11: あの併用は味気ない
事実12: 「なにかは異常感覚でないが広い」ということは間違いであるとするとそれは怠いということはない
事実13: 仮に何らかの物が怠くらないとすると染み込まないかあるいは列車ダイヤでないかあるいは両方ともである

仮説: あの併用は梟便である
1. 仮定1: 以下のように仮定する。「あの併用は初々しかない」ということは成り立つ
2. 事実5と仮定1から、推論1: "あの併用は主要産地でないしそれは味気なくない"が導かれる
3. 推論1から、推論2: "あの併用は味気なくない"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの併用は初々しい"が導かれる
6. 事実9から、推論5: "もし仮にあの併用が初々しいとするとそれは梟便である"が導かれる
7. 推論4と推論5から、仮説が導かれる

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