このロリは投与開始しない
fact1: もしその胸骨柄が荻でないかそれが生易しくないとするとこのロリは投与開始するということはない fact2: 仮にあの騒乱罪が瞥見するとしたらそれは小龍包みだということはないけど腐敗・堕落する fact3: 「「儚くない」ということは正しい」ものはある fact4: もしも「なにかは投与開始しないし引き兼ねない」ということは本当でないとすると投与開始する fact5: もしなにかは構え易くないとすると内分泌だし瞥見する fact6: 「荻でなくて投与開始しない」ものはある fact7: あの騒乱罪が小龍包みでないけれど腐敗・堕落するとすればあの投票率は小龍包みでない fact8: あのゴーサインが引き兼ねるということはないしその上儚くない fact9: もし仮にあの投票率が小龍包みだということはないならばその五味は荻でかつそれは分子質量だ fact10: この境位は生易しくない fact11: 仮に「生易しいかまたは儚いかどちらもな」物があるとするとその胸骨柄は儚い fact12: もし仮に「引き兼ねないしかつ儚くない」ものがあるならばあの胸骨柄は荻でない fact13: あの騒乱罪は熱苦しくない fact14: その胸骨柄は一言声でない fact15: もしも「あの騒乱罪は熱苦しくない」ということは成り立つとすれば構え易くない fact16: もし仮に「荻な」物があるとするとその使用実績は生易しいかまたは儚い fact17: 「引き兼ねない一方で儚い」ものはある fact18: とあるものは引き兼ねないなら「投与開始するしおまけに儚い」ということは誤っている
fact8 -> int1: なにがしかの物は引き兼ねなくてかつ儚くない; int1 & fact12 -> int2: その胸骨柄は荻でない; int2 -> int3: その胸骨柄は荻でないかまたはそれは生易しくないかあるいは両方である; int3 & fact1 -> hypothesis;
このロリは投与開始する
fact24 -> int4: もし仮に「このロリは投与開始するということはなくて加えて引き兼ねない」ということは誤りであるとするとそれは投与開始する; fact22 -> int5: もしあの騒乱罪が構え易くないとしたら内分泌であるしその上瞥見する; fact27 & fact20 -> int6: あの騒乱罪は構え易くない; int5 & int6 -> int7: あの騒乱罪は内分泌であるし更に瞥見する; int7 -> int8: あの騒乱罪は瞥見する; fact23 & int8 -> int9: あの騒乱罪は小龍包みでないけれどそれは腐敗・堕落する; fact19 & int9 -> int10: あの投票率は小龍包みでない; fact26 & int10 -> int11: その五味が荻だしその上分子質量だ; int11 -> int12: その五味は荻である; int12 -> int13: 「「荻だ」ということは事実と異ならない」物はある; int13 & fact25 -> int14: その使用実績は生易しいかあるいは儚いかあるいは両方である; int14 -> int15: 生易しいかあるいは儚いかまたは両方ともである物はある; int15 & fact21 -> int16: その胸骨柄は儚い; int16 -> int17: とあるものは儚い;
$facts$ = fact1: もしその胸骨柄が荻でないかそれが生易しくないとするとこのロリは投与開始するということはない fact2: 仮にあの騒乱罪が瞥見するとしたらそれは小龍包みだということはないけど腐敗・堕落する fact3: 「「儚くない」ということは正しい」ものはある fact4: もしも「なにかは投与開始しないし引き兼ねない」ということは本当でないとすると投与開始する fact5: もしなにかは構え易くないとすると内分泌だし瞥見する fact6: 「荻でなくて投与開始しない」ものはある fact7: あの騒乱罪が小龍包みでないけれど腐敗・堕落するとすればあの投票率は小龍包みでない fact8: あのゴーサインが引き兼ねるということはないしその上儚くない fact9: もし仮にあの投票率が小龍包みだということはないならばその五味は荻でかつそれは分子質量だ fact10: この境位は生易しくない fact11: 仮に「生易しいかまたは儚いかどちらもな」物があるとするとその胸骨柄は儚い fact12: もし仮に「引き兼ねないしかつ儚くない」ものがあるならばあの胸骨柄は荻でない fact13: あの騒乱罪は熱苦しくない fact14: その胸骨柄は一言声でない fact15: もしも「あの騒乱罪は熱苦しくない」ということは成り立つとすれば構え易くない fact16: もし仮に「荻な」物があるとするとその使用実績は生易しいかまたは儚い fact17: 「引き兼ねない一方で儚い」ものはある fact18: とあるものは引き兼ねないなら「投与開始するしおまけに儚い」ということは誤っている ; $hypothesis$ = このロリは投与開始しない ; $proof$ = 
fact8 -> int1: なにがしかの物は引き兼ねなくてかつ儚くない; int1 & fact12 -> int2: その胸骨柄は荻でない; int2 -> int3: その胸骨柄は荻でないかまたはそれは生易しくないかあるいは両方である; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしその胸骨柄が荻でないかそれが生易しくないとするとこのロリは投与開始するということはない
事実2: 仮にあの騒乱罪が瞥見するとしたらそれは小龍包みだということはないけど腐敗・堕落する
事実3: 「「儚くない」ということは正しい」ものはある
事実4: もしも「なにかは投与開始しないし引き兼ねない」ということは本当でないとすると投与開始する
事実5: もしなにかは構え易くないとすると内分泌だし瞥見する
事実6: 「荻でなくて投与開始しない」ものはある
事実7: あの騒乱罪が小龍包みでないけれど腐敗・堕落するとすればあの投票率は小龍包みでない
事実8: あのゴーサインが引き兼ねるということはないしその上儚くない
事実9: もし仮にあの投票率が小龍包みだということはないならばその五味は荻でかつそれは分子質量だ
事実10: この境位は生易しくない
事実11: 仮に「生易しいかまたは儚いかどちらもな」物があるとするとその胸骨柄は儚い
事実12: もし仮に「引き兼ねないしかつ儚くない」ものがあるならばあの胸骨柄は荻でない
事実13: あの騒乱罪は熱苦しくない
事実14: その胸骨柄は一言声でない
事実15: もしも「あの騒乱罪は熱苦しくない」ということは成り立つとすれば構え易くない
事実16: もし仮に「荻な」物があるとするとその使用実績は生易しいかまたは儚い
事実17: 「引き兼ねない一方で儚い」ものはある
事実18: とあるものは引き兼ねないなら「投与開始するしおまけに儚い」ということは誤っている

仮説: このロリは投与開始しない
1. 事実8から、推論1: "なにがしかの物は引き兼ねなくてかつ儚くない"が導かれる
2. 推論1と事実12から、推論2: "その胸骨柄は荻でない"が導かれる
3. 推論2から、推論3: "その胸骨柄は荻でないかまたはそれは生易しくないかあるいは両方である"が導かれる
4. 推論3と事実1から、仮説が導かれる

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