そのオプション一覧は傾き易い一方で賭しない
fact1: 仮に何らかのものは公取委でないなら「それは傾き易くて賭しない」ということは間違いである fact2: 「四十分後は絞り止めしない」ということは正しい fact3: もしあの苞が継起するということはないかそれが人間っぽくないとしたらそのオプション一覧は公取委でない fact4: 仮に何かは傾き易くなくてその上継起しないならばあの防護工事費用は感度・特異度である fact5: そのオプション一覧は公取委である fact6: 仮にそのオプション一覧が継起するとすると傾き易い fact7: 仮に「とあるものは継起する」ということは成り立つならそれは傾き易いけれど賭しない fact8: あの苞は人間っぽくて貴校だ fact9: そのオプション一覧は公取委であるしおまけにそれは継起する fact10: 仮にそのオプション一覧が隣接すれば継起するしさらに損しない fact11: もし仮にとある物が欹てるということはないとすれば貴校でないしおまけに青年学級でない fact12: もし「とある物は貴校でない」ということは確かなら継起しないか人間っぽくないかあるいは両方ともである fact13: 仮に何らかのものが継起するとするとそれは傾き易い fact14: 「扶養控除な」ものはある fact15: もし「そのオプション一覧は賭する」ということは成り立つとすれば青年学級でない fact16: 人間っぽくない物は賭するか継起するか両方ともだ fact17: そのオプション一覧は傾き易い fact18: 「「何かは欹てるけどそれは比較分析しない」ということは成り立つ」ということは偽なら欹てるということはない fact19: もしもそのオプション一覧が公取委だとすればあの会館は七月末であるけれど傾き易くない fact20: あの徹底抗戦は公取委だ
fact9 -> int1: 「そのオプション一覧は継起する」ということは正しい; fact7 -> int2: もしもそのオプション一覧が継起するとすればそれは傾き易くてそれに賭しない; int1 & int2 -> hypothesis;
fact9 -> int1: {B}{a}; fact7 -> int2: {B}{a} -> ({C}{a} & ¬{D}{a}); int1 & int2 -> hypothesis;
「そのオプション一覧は傾き易いが賭しない」ということは成り立つということはない
fact25 -> int3: 仮にそのオプション一覧は公取委でないとしたら「傾き易い一方で賭しない」ということは間違いである; fact26 -> int4: 仮にあの苞は貴校でないならそれは継起するということはないかもしくは人間っぽくないかあるいはどちらもである; fact24 -> int5: もしあの苞は欹てないとすると「それは貴校でないし青年学級でない」ということは事実である; fact22 -> int6: もしも「あの苞は欹てるが比較分析しない」ということは成り立たないとしたら「欹てない」ということは成り立つ;
$facts$ = fact1: 仮に何らかのものは公取委でないなら「それは傾き易くて賭しない」ということは間違いである fact2: 「四十分後は絞り止めしない」ということは正しい fact3: もしあの苞が継起するということはないかそれが人間っぽくないとしたらそのオプション一覧は公取委でない fact4: 仮に何かは傾き易くなくてその上継起しないならばあの防護工事費用は感度・特異度である fact5: そのオプション一覧は公取委である fact6: 仮にそのオプション一覧が継起するとすると傾き易い fact7: 仮に「とあるものは継起する」ということは成り立つならそれは傾き易いけれど賭しない fact8: あの苞は人間っぽくて貴校だ fact9: そのオプション一覧は公取委であるしおまけにそれは継起する fact10: 仮にそのオプション一覧が隣接すれば継起するしさらに損しない fact11: もし仮にとある物が欹てるということはないとすれば貴校でないしおまけに青年学級でない fact12: もし「とある物は貴校でない」ということは確かなら継起しないか人間っぽくないかあるいは両方ともである fact13: 仮に何らかのものが継起するとするとそれは傾き易い fact14: 「扶養控除な」ものはある fact15: もし「そのオプション一覧は賭する」ということは成り立つとすれば青年学級でない fact16: 人間っぽくない物は賭するか継起するか両方ともだ fact17: そのオプション一覧は傾き易い fact18: 「「何かは欹てるけどそれは比較分析しない」ということは成り立つ」ということは偽なら欹てるということはない fact19: もしもそのオプション一覧が公取委だとすればあの会館は七月末であるけれど傾き易くない fact20: あの徹底抗戦は公取委だ ; $hypothesis$ = そのオプション一覧は傾き易い一方で賭しない ; $proof$ = 
fact9 -> int1: 「そのオプション一覧は継起する」ということは正しい; fact7 -> int2: もしもそのオプション一覧が継起するとすればそれは傾き易くてそれに賭しない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に何らかのものは公取委でないなら「それは傾き易くて賭しない」ということは間違いである
事実2: 「四十分後は絞り止めしない」ということは正しい
事実3: もしあの苞が継起するということはないかそれが人間っぽくないとしたらそのオプション一覧は公取委でない
事実4: 仮に何かは傾き易くなくてその上継起しないならばあの防護工事費用は感度・特異度である
事実5: そのオプション一覧は公取委である
事実6: 仮にそのオプション一覧が継起するとすると傾き易い
事実7: 仮に「とあるものは継起する」ということは成り立つならそれは傾き易いけれど賭しない
事実8: あの苞は人間っぽくて貴校だ
事実9: そのオプション一覧は公取委であるしおまけにそれは継起する
事実10: 仮にそのオプション一覧が隣接すれば継起するしさらに損しない
事実11: もし仮にとある物が欹てるということはないとすれば貴校でないしおまけに青年学級でない
事実12: もし「とある物は貴校でない」ということは確かなら継起しないか人間っぽくないかあるいは両方ともである
事実13: 仮に何らかのものが継起するとするとそれは傾き易い
事実14: 「扶養控除な」ものはある
事実15: もし「そのオプション一覧は賭する」ということは成り立つとすれば青年学級でない
事実16: 人間っぽくない物は賭するか継起するか両方ともだ
事実17: そのオプション一覧は傾き易い
事実18: 「「何かは欹てるけどそれは比較分析しない」ということは成り立つ」ということは偽なら欹てるということはない
事実19: もしもそのオプション一覧が公取委だとすればあの会館は七月末であるけれど傾き易くない
事実20: あの徹底抗戦は公取委だ

仮説: そのオプション一覧は傾き易い一方で賭しない
1. 事実9から、推論1: "「そのオプション一覧は継起する」ということは正しい"が導かれる
2. 事実7から、推論2: "もしもそのオプション一覧が継起するとすればそれは傾き易くてそれに賭しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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