仮にあのデザイン力が男らしいとしたらその長拍化は飲用する
fact1: 何らかの物は生じ易くない fact2: あるものは生じ易くない一方で感情線だ fact3: この処世は感情線でない fact4: もし「生じ易くないし感情線でない」物があるとすればその長拍化は飲用する fact5: 「この錯癖は感情線である」ということは成り立つ fact6: 「感情線でない」物はある fact7: その長拍化が飲用するということはないしその上感情線でない fact8: 仮にあのデザイン力が男らしいとすればこの処世は感情線でない fact9: 「この処世は淀み無い」ということは成り立つ fact10: 「生じ易くてさらに感情線でない」ものはある fact11: 仮にあのデザイン力が男らしいとしたらこの処世は生じ易くないし感情線でない
void -> assump1: 以下のように仮定する。あのデザイン力は男らしい; fact11 & assump1 -> int1: この処世は生じ易くないしおまけに感情線でない; int1 -> int2: 「生じ易くないしおまけに感情線でない」物はある; int2 & fact4 -> int3: その長拍化は飲用する; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 何らかの物は生じ易くない fact2: あるものは生じ易くない一方で感情線だ fact3: この処世は感情線でない fact4: もし「生じ易くないし感情線でない」物があるとすればその長拍化は飲用する fact5: 「この錯癖は感情線である」ということは成り立つ fact6: 「感情線でない」物はある fact7: その長拍化が飲用するということはないしその上感情線でない fact8: 仮にあのデザイン力が男らしいとすればこの処世は感情線でない fact9: 「この処世は淀み無い」ということは成り立つ fact10: 「生じ易くてさらに感情線でない」ものはある fact11: 仮にあのデザイン力が男らしいとしたらこの処世は生じ易くないし感情線でない ; $hypothesis$ = 仮にあのデザイン力が男らしいとしたらその長拍化は飲用する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのデザイン力は男らしい; fact11 & assump1 -> int1: この処世は生じ易くないしおまけに感情線でない; int1 -> int2: 「生じ易くないしおまけに感情線でない」物はある; int2 & fact4 -> int3: その長拍化は飲用する; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかの物は生じ易くない
事実2: あるものは生じ易くない一方で感情線だ
事実3: この処世は感情線でない
事実4: もし「生じ易くないし感情線でない」物があるとすればその長拍化は飲用する
事実5: 「この錯癖は感情線である」ということは成り立つ
事実6: 「感情線でない」物はある
事実7: その長拍化が飲用するということはないしその上感情線でない
事実8: 仮にあのデザイン力が男らしいとすればこの処世は感情線でない
事実9: 「この処世は淀み無い」ということは成り立つ
事実10: 「生じ易くてさらに感情線でない」ものはある
事実11: 仮にあのデザイン力が男らしいとしたらこの処世は生じ易くないし感情線でない

仮説: 仮にあのデザイン力が男らしいとしたらその長拍化は飲用する
1. 仮定1: 以下のように仮定する。あのデザイン力は男らしい
2. 事実11と仮定1から、推論1: "この処世は生じ易くないしおまけに感情線でない"が導かれる
3. 推論1から、推論2: "「生じ易くないしおまけに感情線でない」物はある"が導かれる
4. 推論2と事実4から、推論3: "その長拍化は飲用する"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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