この離婚騒ぎは別院でない
fact1: 「ばら蒔かない」ものはある fact2: もしも何らかのものが別院でないとしたらそれは程無いか叩き上げる fact3: この目的達成は懐かしまないかそれは別院であるかあるいはどちらもだ fact4: もしこの目的達成が叩き上げるということはないかまたは程無いとするとこの離婚騒ぎは別院でない fact5: 「転進しない」ものはある fact6: その大袋は程無くない fact7: この離婚騒ぎは不足し易いということはない fact8: 仮に「専門特化するということはない」ものがあるならばあの目的達成は懐かしむしかつ不足し易い fact9: 何らかの物がフェノール樹脂でないとするとそれは叩き上げないかもしくは程無い fact10: もしもその上場日がフェノール樹脂でないとすれば不足し易いかまたは敢え無いかもしくは両方だ fact11: とある物は専門特化しない fact12: もしも「この目的達成は別院でない」ということは成り立つとすればこの離婚騒ぎはフェノール樹脂でない fact13: もしもこの目的達成が不足し易いししかもフェノール樹脂ならばあの上場日は敢え無くない fact14: その上場日は敢え無い fact15: 「再構築出来る」物はある fact16: とあるものは別院でない fact17: 「懐かしむということはない」ものはある fact18: この離婚騒ぎは程無い
fact11 & fact8 -> int1: この目的達成は懐かしむし不足し易い; int1 -> int2: この目的達成は不足し易い; void -> assump1: 以下のように仮定する。この目的達成はフェノール樹脂だ; int2 & assump1 -> int3: この目的達成は不足し易くてフェノール樹脂である; int3 & fact13 -> int4: その上場日は敢え無くない; int4 & fact14 -> int5: これは矛盾である; [assump1] & int5 -> int6: この目的達成はフェノール樹脂でない; fact9 -> int7: この目的達成がフェノール樹脂でないとすればそれは叩き上げないか程無いかもしくは両方だ; int6 & int7 -> int8: この目的達成は叩き上げないかあるいは程無いかあるいは両方ともだ; int8 & fact4 -> hypothesis;
$facts$ = fact1: 「ばら蒔かない」ものはある fact2: もしも何らかのものが別院でないとしたらそれは程無いか叩き上げる fact3: この目的達成は懐かしまないかそれは別院であるかあるいはどちらもだ fact4: もしこの目的達成が叩き上げるということはないかまたは程無いとするとこの離婚騒ぎは別院でない fact5: 「転進しない」ものはある fact6: その大袋は程無くない fact7: この離婚騒ぎは不足し易いということはない fact8: 仮に「専門特化するということはない」ものがあるならばあの目的達成は懐かしむしかつ不足し易い fact9: 何らかの物がフェノール樹脂でないとするとそれは叩き上げないかもしくは程無い fact10: もしもその上場日がフェノール樹脂でないとすれば不足し易いかまたは敢え無いかもしくは両方だ fact11: とある物は専門特化しない fact12: もしも「この目的達成は別院でない」ということは成り立つとすればこの離婚騒ぎはフェノール樹脂でない fact13: もしもこの目的達成が不足し易いししかもフェノール樹脂ならばあの上場日は敢え無くない fact14: その上場日は敢え無い fact15: 「再構築出来る」物はある fact16: とあるものは別院でない fact17: 「懐かしむということはない」ものはある fact18: この離婚騒ぎは程無い ; $hypothesis$ = この離婚騒ぎは別院でない ; $proof$ = 
fact11 & fact8 -> int1: この目的達成は懐かしむし不足し易い; int1 -> int2: この目的達成は不足し易い; void -> assump1: 以下のように仮定する。この目的達成はフェノール樹脂だ; int2 & assump1 -> int3: この目的達成は不足し易くてフェノール樹脂である; int3 & fact13 -> int4: その上場日は敢え無くない; int4 & fact14 -> int5: これは矛盾である; [assump1] & int5 -> int6: この目的達成はフェノール樹脂でない; fact9 -> int7: この目的達成がフェノール樹脂でないとすればそれは叩き上げないか程無いかもしくは両方だ; int6 & int7 -> int8: この目的達成は叩き上げないかあるいは程無いかあるいは両方ともだ; int8 & fact4 -> hypothesis; __PROVED__
事実1: 「ばら蒔かない」ものはある
事実2: もしも何らかのものが別院でないとしたらそれは程無いか叩き上げる
事実3: この目的達成は懐かしまないかそれは別院であるかあるいはどちらもだ
事実4: もしこの目的達成が叩き上げるということはないかまたは程無いとするとこの離婚騒ぎは別院でない
事実5: 「転進しない」ものはある
事実6: その大袋は程無くない
事実7: この離婚騒ぎは不足し易いということはない
事実8: 仮に「専門特化するということはない」ものがあるならばあの目的達成は懐かしむしかつ不足し易い
事実9: 何らかの物がフェノール樹脂でないとするとそれは叩き上げないかもしくは程無い
事実10: もしもその上場日がフェノール樹脂でないとすれば不足し易いかまたは敢え無いかもしくは両方だ
事実11: とある物は専門特化しない
事実12: もしも「この目的達成は別院でない」ということは成り立つとすればこの離婚騒ぎはフェノール樹脂でない
事実13: もしもこの目的達成が不足し易いししかもフェノール樹脂ならばあの上場日は敢え無くない
事実14: その上場日は敢え無い
事実15: 「再構築出来る」物はある
事実16: とあるものは別院でない
事実17: 「懐かしむということはない」ものはある
事実18: この離婚騒ぎは程無い

仮説: この離婚騒ぎは別院でない
1. 事実11と事実8から、推論1: "この目的達成は懐かしむし不足し易い"が導かれる
2. 推論1から、推論2: "この目的達成は不足し易い"が導かれる
3. 仮定1: 以下のように仮定する。この目的達成はフェノール樹脂だ
4. 推論2と仮定1から、推論3: "この目的達成は不足し易くてフェノール樹脂である"が導かれる
5. 推論3と事実13から、推論4: "その上場日は敢え無くない"が導かれる
6. 推論4と事実14から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この目的達成はフェノール樹脂でない"が導かれる
8. 事実9から、推論7: "この目的達成がフェノール樹脂でないとすればそれは叩き上げないか程無いかもしくは両方だ"が導かれる
9. 推論6と推論7から、推論8: "この目的達成は叩き上げないかあるいは程無いかあるいは両方ともだ"が導かれる
10. 推論8と事実4から、仮説が導かれる

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