もし仮に「その冗談交じりは長たらしい」ということは真実だとすればその魚群予告は塩辛い
fact1: 御寒くないものは利用し易い fact2: その魚群予告は例外無い fact3: もしもその特別会計関係は出し難い一方で働き続けるということはないならそれは生まれ難くない fact4: その冗談交じりはひょろ長い fact5: 塩辛くてまた長たらしくないものは図々しかない fact6: もしもなんらかのものが集大成するけどそれはセロハンであるということはないとすると歯痒くない fact7: その見積もり期間は長たらしいということはない fact8: もし仮にある物が後押しするが収縮しないとすればそれはスライスチーズだということはない fact9: その冗談交じりは編集する一方で内蔵でない fact10: もしもその冗談交じりが塩辛いとするとその魚群予告は利用し易い fact11: もし底無しが叙述しないなら甲高いということはない fact12: その冗談交じりは図々しいということはない fact13: もし長たらしい物が図々しかないとしたらそれは御寒くない fact14: その冗談交じりは塩辛いとすると「その魚群予告は図々しい」ということは偽でない fact15: もしその冗談交じりが塩辛いとしたらその魚群予告は長たらしい fact16: この共同研究は長たらしくない fact17: もし仮にその魚群予告が収縮しないならそれは連なる fact18: その魚群予告は利用し易い一方で塩辛くない fact19: 塩辛くないものは御寒い fact20: その魚群予告は利用し易い fact21: その魚群予告は気高しがしかしエリート達でない fact22: その冗談交じりは塩辛い fact23: もしもその冗談交じりは利用し易いとすると「その魚群予告は塩辛い」ということは成り立つ fact24: もしその冗談交じりが御寒いとしたらその魚群予告は図々しい
void -> assump1: 以下のように仮定する。その冗談交じりは長たらしい; assump1 & fact12 -> int1: その冗談交じりは長たらしいがしかし図々しかない; fact13 -> int2: もしもその冗談交じりは長たらしいがしかし図々しかないならばそれは御寒くない; int1 & int2 -> int3: その冗談交じりは御寒くない; fact1 -> int4: もしもその冗談交じりが御寒くないならそれは利用し易い; int3 & int4 -> int5: その冗談交じりは利用し易い; int5 & fact23 -> int6: その魚群予告は塩辛い; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 御寒くないものは利用し易い fact2: その魚群予告は例外無い fact3: もしもその特別会計関係は出し難い一方で働き続けるということはないならそれは生まれ難くない fact4: その冗談交じりはひょろ長い fact5: 塩辛くてまた長たらしくないものは図々しかない fact6: もしもなんらかのものが集大成するけどそれはセロハンであるということはないとすると歯痒くない fact7: その見積もり期間は長たらしいということはない fact8: もし仮にある物が後押しするが収縮しないとすればそれはスライスチーズだということはない fact9: その冗談交じりは編集する一方で内蔵でない fact10: もしもその冗談交じりが塩辛いとするとその魚群予告は利用し易い fact11: もし底無しが叙述しないなら甲高いということはない fact12: その冗談交じりは図々しいということはない fact13: もし長たらしい物が図々しかないとしたらそれは御寒くない fact14: その冗談交じりは塩辛いとすると「その魚群予告は図々しい」ということは偽でない fact15: もしその冗談交じりが塩辛いとしたらその魚群予告は長たらしい fact16: この共同研究は長たらしくない fact17: もし仮にその魚群予告が収縮しないならそれは連なる fact18: その魚群予告は利用し易い一方で塩辛くない fact19: 塩辛くないものは御寒い fact20: その魚群予告は利用し易い fact21: その魚群予告は気高しがしかしエリート達でない fact22: その冗談交じりは塩辛い fact23: もしもその冗談交じりは利用し易いとすると「その魚群予告は塩辛い」ということは成り立つ fact24: もしその冗談交じりが御寒いとしたらその魚群予告は図々しい ; $hypothesis$ = もし仮に「その冗談交じりは長たらしい」ということは真実だとすればその魚群予告は塩辛い ; $proof$ = 
void -> assump1: 以下のように仮定する。その冗談交じりは長たらしい; assump1 & fact12 -> int1: その冗談交じりは長たらしいがしかし図々しかない; fact13 -> int2: もしもその冗談交じりは長たらしいがしかし図々しかないならばそれは御寒くない; int1 & int2 -> int3: その冗談交じりは御寒くない; fact1 -> int4: もしもその冗談交じりが御寒くないならそれは利用し易い; int3 & int4 -> int5: その冗談交じりは利用し易い; int5 & fact23 -> int6: その魚群予告は塩辛い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 御寒くないものは利用し易い
事実2: その魚群予告は例外無い
事実3: もしもその特別会計関係は出し難い一方で働き続けるということはないならそれは生まれ難くない
事実4: その冗談交じりはひょろ長い
事実5: 塩辛くてまた長たらしくないものは図々しかない
事実6: もしもなんらかのものが集大成するけどそれはセロハンであるということはないとすると歯痒くない
事実7: その見積もり期間は長たらしいということはない
事実8: もし仮にある物が後押しするが収縮しないとすればそれはスライスチーズだということはない
事実9: その冗談交じりは編集する一方で内蔵でない
事実10: もしもその冗談交じりが塩辛いとするとその魚群予告は利用し易い
事実11: もし底無しが叙述しないなら甲高いということはない
事実12: その冗談交じりは図々しいということはない
事実13: もし長たらしい物が図々しかないとしたらそれは御寒くない
事実14: その冗談交じりは塩辛いとすると「その魚群予告は図々しい」ということは偽でない
事実15: もしその冗談交じりが塩辛いとしたらその魚群予告は長たらしい
事実16: この共同研究は長たらしくない
事実17: もし仮にその魚群予告が収縮しないならそれは連なる
事実18: その魚群予告は利用し易い一方で塩辛くない
事実19: 塩辛くないものは御寒い
事実20: その魚群予告は利用し易い
事実21: その魚群予告は気高しがしかしエリート達でない
事実22: その冗談交じりは塩辛い
事実23: もしもその冗談交じりは利用し易いとすると「その魚群予告は塩辛い」ということは成り立つ
事実24: もしその冗談交じりが御寒いとしたらその魚群予告は図々しい

仮説: もし仮に「その冗談交じりは長たらしい」ということは真実だとすればその魚群予告は塩辛い
1. 仮定1: 以下のように仮定する。その冗談交じりは長たらしい
2. 仮定1と事実12から、推論1: "その冗談交じりは長たらしいがしかし図々しかない"が導かれる
3. 事実13から、推論2: "もしもその冗談交じりは長たらしいがしかし図々しかないならばそれは御寒くない"が導かれる
4. 推論1と推論2から、推論3: "その冗談交じりは御寒くない"が導かれる
5. 事実1から、推論4: "もしもその冗談交じりが御寒くないならそれは利用し易い"が導かれる
6. 推論3と推論4から、推論5: "その冗談交じりは利用し易い"が導かれる
7. 推論5と事実23から、推論6: "その魚群予告は塩辛い"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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