「「し給うし中期的視点でない」ということは偽だとすれば集光しない」ものはある
fact1: もしこの弾性線維はし給わないとしたら「それは集光しない」ということは成り立つ fact2: もし仮に「あの工事現場は線引きするが能わない」ということは偽であるとすると集光しない fact3: もしも「この弾性線維はし給うしおまけに中期的視点だ」ということは誤りであるならそれは集光しない fact4: 「し給わないならば集光しない」物はある fact5: もし仮に「何らかのものは打ち首である一方で引き取り運賃でない」ということは成り立たないなら秘密クラブでない fact6: 「もしも「念仏すが難行苦行でない」ということは成り立たないとしたら易しない」物はある fact7: もし仮に「あの途中下車は剥ぎ取るけれど中期的視点でない」ということは事実でないならば揮発し易いということはない fact8: もしこの弾性線維はし給うがしかし中期的視点であるということはないとしたら集光しない fact9: 「「ふてぶてしいけど上接語でない」ということは事実と異なるとしたら観世音寺跡でない」物はある fact10: もし仮に「この弾性線維は肌寒いがしかしし給わない」ということは間違っているならそれは臆する fact11: 「仮にし給うしさらに中期的視点であるということはないなら集光しない」ものはある fact12: 「「仮に「し給うけれど中期的視点でない」ということは事実と異なるとすると集光する」物はある」ということは成り立つ fact13: 「もし仮に「し給うしさらに中期的視点である」ということは成り立つということはないならば集光しない」ものはある fact14: もし「この回転角は目覚ましい一方でだだっ広いということはない」ということは誤っているとするとそれは罹り易い fact15: もし「この弾性線維はし給うけれどそれは中期的視点でない」ということは事実と異なるとしたら集光するということはない fact16: 「仮に中期的視点であるとすれば集光しない」ものはある fact17: 「もし仮に「捕らえ易い一方で鑑定書でない」ということは誤りであるとしたら「ふてぶてしくない」ということは成り立つ」物はある
fact15 -> hypothesis;
fact15 -> hypothesis;
「「打ち首で引き取り運賃でない」ということは偽ならば秘密クラブでない」ものはある
fact18 -> int1: 仮に「「このサウナは打ち首であるけれどそれは引き取り運賃でない」ということは事実である」ということは真実でないならばそれは秘密クラブでない; int1 -> hypothesis;
$facts$ = fact1: もしこの弾性線維はし給わないとしたら「それは集光しない」ということは成り立つ fact2: もし仮に「あの工事現場は線引きするが能わない」ということは偽であるとすると集光しない fact3: もしも「この弾性線維はし給うしおまけに中期的視点だ」ということは誤りであるならそれは集光しない fact4: 「し給わないならば集光しない」物はある fact5: もし仮に「何らかのものは打ち首である一方で引き取り運賃でない」ということは成り立たないなら秘密クラブでない fact6: 「もしも「念仏すが難行苦行でない」ということは成り立たないとしたら易しない」物はある fact7: もし仮に「あの途中下車は剥ぎ取るけれど中期的視点でない」ということは事実でないならば揮発し易いということはない fact8: もしこの弾性線維はし給うがしかし中期的視点であるということはないとしたら集光しない fact9: 「「ふてぶてしいけど上接語でない」ということは事実と異なるとしたら観世音寺跡でない」物はある fact10: もし仮に「この弾性線維は肌寒いがしかしし給わない」ということは間違っているならそれは臆する fact11: 「仮にし給うしさらに中期的視点であるということはないなら集光しない」ものはある fact12: 「「仮に「し給うけれど中期的視点でない」ということは事実と異なるとすると集光する」物はある」ということは成り立つ fact13: 「もし仮に「し給うしさらに中期的視点である」ということは成り立つということはないならば集光しない」ものはある fact14: もし「この回転角は目覚ましい一方でだだっ広いということはない」ということは誤っているとするとそれは罹り易い fact15: もし「この弾性線維はし給うけれどそれは中期的視点でない」ということは事実と異なるとしたら集光するということはない fact16: 「仮に中期的視点であるとすれば集光しない」ものはある fact17: 「もし仮に「捕らえ易い一方で鑑定書でない」ということは誤りであるとしたら「ふてぶてしくない」ということは成り立つ」物はある ; $hypothesis$ = 「「し給うし中期的視点でない」ということは偽だとすれば集光しない」ものはある ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: もしこの弾性線維はし給わないとしたら「それは集光しない」ということは成り立つ
事実2: もし仮に「あの工事現場は線引きするが能わない」ということは偽であるとすると集光しない
事実3: もしも「この弾性線維はし給うしおまけに中期的視点だ」ということは誤りであるならそれは集光しない
事実4: 「し給わないならば集光しない」物はある
事実5: もし仮に「何らかのものは打ち首である一方で引き取り運賃でない」ということは成り立たないなら秘密クラブでない
事実6: 「もしも「念仏すが難行苦行でない」ということは成り立たないとしたら易しない」物はある
事実7: もし仮に「あの途中下車は剥ぎ取るけれど中期的視点でない」ということは事実でないならば揮発し易いということはない
事実8: もしこの弾性線維はし給うがしかし中期的視点であるということはないとしたら集光しない
事実9: 「「ふてぶてしいけど上接語でない」ということは事実と異なるとしたら観世音寺跡でない」物はある
事実10: もし仮に「この弾性線維は肌寒いがしかしし給わない」ということは間違っているならそれは臆する
事実11: 「仮にし給うしさらに中期的視点であるということはないなら集光しない」ものはある
事実12: 「「仮に「し給うけれど中期的視点でない」ということは事実と異なるとすると集光する」物はある」ということは成り立つ
事実13: 「もし仮に「し給うしさらに中期的視点である」ということは成り立つということはないならば集光しない」ものはある
事実14: もし「この回転角は目覚ましい一方でだだっ広いということはない」ということは誤っているとするとそれは罹り易い
事実15: もし「この弾性線維はし給うけれどそれは中期的視点でない」ということは事実と異なるとしたら集光するということはない
事実16: 「仮に中期的視点であるとすれば集光しない」ものはある
事実17: 「もし仮に「捕らえ易い一方で鑑定書でない」ということは誤りであるとしたら「ふてぶてしくない」ということは成り立つ」物はある

仮説: 「「し給うし中期的視点でない」ということは偽だとすれば集光しない」ものはある
1. 事実15から、仮説が導かれる

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