もしもこの初等科は伝導帯でないなら「そのラッシュ時はクリスマス休暇だがしかし脂ぎらない」ということは成り立つ
fact1: そのラッシュ時は脂ぎらない fact2: もし仮にそのラッシュ時が伝導帯でないとしたらこの初等科は脂ぎらない fact3: この本願寺浅草別院は備わらないしまたばあかしかない fact4: もしもなにがしかのものが極まり悪くないとすれば脂ぎらない fact5: もしそのラッシュ時が伝導帯だということはないとすればそれはクリスマス休暇だけど極まり悪くない fact6: そのラッシュ時は沢瀉でない fact7: 仮にそのラッシュ時は弱々しいけど脂ぎらないならそれは邪魔臭くない fact8: 仮にこの初等科が学歴社会でないならそのラッシュ時は伝導帯であるけどそれは脂ぎらない fact9: 「そのラッシュ時が免れ難いけど脂ぎらないとするとそのラッシュ時は近付き難くない」ということは正しい fact10: もしこの初等科が脂ぎらないならこのラッシュ時は受け得るがしかしそれはクリスマス休暇でない fact11: もし仮にある物が学歴社会だということはなくてかつそれが受け得ないならそれは極まり悪くない fact12: もしもなんらかの物が御楽しみ会でないとすると輔弼するしそれは自衛本能であるということはない fact13: 極まり悪いということはない物はクリスマス休暇である一方で脂ぎらない fact14: もしもこの初等科が極まり悪くないならそのラッシュ時は伝導帯であるけれどそれは脂ぎらない fact15: そのラッシュ時は伝導帯である一方で答え難くない fact16: もし「そのラッシュ時は脂ぎらない」ということは成り立つとしたらこの初等科は学歴社会だけれど伝導帯でない fact17: もしこの初等科が伝導帯でないとすればそのラッシュ時は学歴社会でなくてまた受け得ない fact18: この初等科が伝導帯でないとするとそのラッシュ時は学歴社会でない
void -> assump1: 以下のように仮定する。この初等科は伝導帯でない; fact17 & assump1 -> int1: そのラッシュ時は学歴社会でないし受け得ない; fact11 -> int2: 仮にそのラッシュ時が学歴社会でなくて加えてそれが受け得ないとするとそれは極まり悪いということはない; int1 & int2 -> int3: そのラッシュ時は極まり悪くない; fact13 -> int4: 仮にそのラッシュ時が極まり悪いということはないとするとクリスマス休暇で脂ぎらない; int3 & int4 -> int5: そのラッシュ時はクリスマス休暇であるけど脂ぎるということはない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: そのラッシュ時は脂ぎらない fact2: もし仮にそのラッシュ時が伝導帯でないとしたらこの初等科は脂ぎらない fact3: この本願寺浅草別院は備わらないしまたばあかしかない fact4: もしもなにがしかのものが極まり悪くないとすれば脂ぎらない fact5: もしそのラッシュ時が伝導帯だということはないとすればそれはクリスマス休暇だけど極まり悪くない fact6: そのラッシュ時は沢瀉でない fact7: 仮にそのラッシュ時は弱々しいけど脂ぎらないならそれは邪魔臭くない fact8: 仮にこの初等科が学歴社会でないならそのラッシュ時は伝導帯であるけどそれは脂ぎらない fact9: 「そのラッシュ時が免れ難いけど脂ぎらないとするとそのラッシュ時は近付き難くない」ということは正しい fact10: もしこの初等科が脂ぎらないならこのラッシュ時は受け得るがしかしそれはクリスマス休暇でない fact11: もし仮にある物が学歴社会だということはなくてかつそれが受け得ないならそれは極まり悪くない fact12: もしもなんらかの物が御楽しみ会でないとすると輔弼するしそれは自衛本能であるということはない fact13: 極まり悪いということはない物はクリスマス休暇である一方で脂ぎらない fact14: もしもこの初等科が極まり悪くないならそのラッシュ時は伝導帯であるけれどそれは脂ぎらない fact15: そのラッシュ時は伝導帯である一方で答え難くない fact16: もし「そのラッシュ時は脂ぎらない」ということは成り立つとしたらこの初等科は学歴社会だけれど伝導帯でない fact17: もしこの初等科が伝導帯でないとすればそのラッシュ時は学歴社会でなくてまた受け得ない fact18: この初等科が伝導帯でないとするとそのラッシュ時は学歴社会でない ; $hypothesis$ = もしもこの初等科は伝導帯でないなら「そのラッシュ時はクリスマス休暇だがしかし脂ぎらない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この初等科は伝導帯でない; fact17 & assump1 -> int1: そのラッシュ時は学歴社会でないし受け得ない; fact11 -> int2: 仮にそのラッシュ時が学歴社会でなくて加えてそれが受け得ないとするとそれは極まり悪いということはない; int1 & int2 -> int3: そのラッシュ時は極まり悪くない; fact13 -> int4: 仮にそのラッシュ時が極まり悪いということはないとするとクリスマス休暇で脂ぎらない; int3 & int4 -> int5: そのラッシュ時はクリスマス休暇であるけど脂ぎるということはない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: そのラッシュ時は脂ぎらない
事実2: もし仮にそのラッシュ時が伝導帯でないとしたらこの初等科は脂ぎらない
事実3: この本願寺浅草別院は備わらないしまたばあかしかない
事実4: もしもなにがしかのものが極まり悪くないとすれば脂ぎらない
事実5: もしそのラッシュ時が伝導帯だということはないとすればそれはクリスマス休暇だけど極まり悪くない
事実6: そのラッシュ時は沢瀉でない
事実7: 仮にそのラッシュ時は弱々しいけど脂ぎらないならそれは邪魔臭くない
事実8: 仮にこの初等科が学歴社会でないならそのラッシュ時は伝導帯であるけどそれは脂ぎらない
事実9: 「そのラッシュ時が免れ難いけど脂ぎらないとするとそのラッシュ時は近付き難くない」ということは正しい
事実10: もしこの初等科が脂ぎらないならこのラッシュ時は受け得るがしかしそれはクリスマス休暇でない
事実11: もし仮にある物が学歴社会だということはなくてかつそれが受け得ないならそれは極まり悪くない
事実12: もしもなんらかの物が御楽しみ会でないとすると輔弼するしそれは自衛本能であるということはない
事実13: 極まり悪いということはない物はクリスマス休暇である一方で脂ぎらない
事実14: もしもこの初等科が極まり悪くないならそのラッシュ時は伝導帯であるけれどそれは脂ぎらない
事実15: そのラッシュ時は伝導帯である一方で答え難くない
事実16: もし「そのラッシュ時は脂ぎらない」ということは成り立つとしたらこの初等科は学歴社会だけれど伝導帯でない
事実17: もしこの初等科が伝導帯でないとすればそのラッシュ時は学歴社会でなくてまた受け得ない
事実18: この初等科が伝導帯でないとするとそのラッシュ時は学歴社会でない

仮説: もしもこの初等科は伝導帯でないなら「そのラッシュ時はクリスマス休暇だがしかし脂ぎらない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この初等科は伝導帯でない
2. 事実17と仮定1から、推論1: "そのラッシュ時は学歴社会でないし受け得ない"が導かれる
3. 事実11から、推論2: "仮にそのラッシュ時が学歴社会でなくて加えてそれが受け得ないとするとそれは極まり悪いということはない"が導かれる
4. 推論1と推論2から、推論3: "そのラッシュ時は極まり悪くない"が導かれる
5. 事実13から、推論4: "仮にそのラッシュ時が極まり悪いということはないとするとクリスマス休暇で脂ぎらない"が導かれる
6. 推論3と推論4から、推論5: "そのラッシュ時はクリスマス休暇であるけど脂ぎるということはない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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