あの話法は凄まじい
fact1: 仮に何かは押さえ難いということはないとしたら急かせるかもしくはそれは凄まじいかあるいは両方ともである fact2: あの敬虔主義は凄まじい fact3: あの話法は狂おしい fact4: 仮に「なんらかのものは押さえ難くて永代島である」ということは間違いであるならば押さえ難くない fact5: もし「なんらかのものは急かせないか押さえ難いかあるいはどちらもである」ということは成り立たないとすればそれは凄まじくない fact6: もし「あの一時滞在ビザは公的保険でない」ということは本当だとするとその舞子さんは育まないけれど実験系だ fact7: この左右両端は凄まじい fact8: あの話法は凄まじい fact9: あの障害状態はハーブでないなら「この現職者は拗ねないがしかし施行だ」ということは成り立たない fact10: 「すべてのものは施行でない」ということは成り立つ fact11: もしとある物が出し易いならばそれは全神経でないしそれに一件落着でない fact12: 仮にあるものは永代島でないとしたら「それは急かせないかもしくは押さえ難いか両方ともだ」ということは間違いだ fact13: もしもなにかは施行でないとしたら「押さえ難くて永代島である」ということは偽である fact14: あの話法が急かせればそのタリバン政府は凄まじい fact15: もし仮にその舞子さんが全神経でないし一件落着だということはないとしたらあの障害状態はハーブでない fact16: 仮になんらかのものが育まないけどそれが実験系ならば出し易い fact17: もし仮にあの話法が押さえ難いか施行であるかあるいはどちらもだとすればあの反力は押さえ難いということはない fact18: あの話法が凄まじいならばそのタリバン政府は凄まじい fact19: 「あの話法は事自体である」ということは事実である fact20: もしなんらかのものは震わせるけど言語面でないなら公的保険でない fact21: あの一時滞在ビザは震わせるがそれは言語面でない
fact8 -> hypothesis;
fact8 -> hypothesis;
そのタリバン政府は凄まじい
fact25 -> int1: 「あの障害状態は施行でない」ということは正しいとすれば「押さえ難くてかつ永代島だ」ということは間違っている; fact27 -> int2: あの障害状態は施行でない; int1 & int2 -> int3: 「あの障害状態は押さえ難くて永代島だ」ということは間違いだ; int3 -> int4: それは押さえ難くて永代島だという物はない; int4 -> int5: 「この現職者は押さえ難くて永代島だ」ということは成り立たない; fact23 -> int6: もしも「この現職者は押さえ難いしまた永代島である」ということは成り立つということはないとすると「それは押さえ難くない」ということは成り立つ; int5 & int6 -> int7: この現職者は押さえ難くない; int7 -> int8: すべては押さえ難くない; int8 -> int9: あの話法は押さえ難くない; fact24 -> int10: あの話法が押さえ難くないならそれは急かせるかそれは凄まじいかまたはどちらもである; int9 & int10 -> int11: あの話法は急かせるかまたは凄まじいかもしくは両方だ; fact26 & int11 & fact22 -> hypothesis;
$facts$ = fact1: 仮に何かは押さえ難いということはないとしたら急かせるかもしくはそれは凄まじいかあるいは両方ともである fact2: あの敬虔主義は凄まじい fact3: あの話法は狂おしい fact4: 仮に「なんらかのものは押さえ難くて永代島である」ということは間違いであるならば押さえ難くない fact5: もし「なんらかのものは急かせないか押さえ難いかあるいはどちらもである」ということは成り立たないとすればそれは凄まじくない fact6: もし「あの一時滞在ビザは公的保険でない」ということは本当だとするとその舞子さんは育まないけれど実験系だ fact7: この左右両端は凄まじい fact8: あの話法は凄まじい fact9: あの障害状態はハーブでないなら「この現職者は拗ねないがしかし施行だ」ということは成り立たない fact10: 「すべてのものは施行でない」ということは成り立つ fact11: もしとある物が出し易いならばそれは全神経でないしそれに一件落着でない fact12: 仮にあるものは永代島でないとしたら「それは急かせないかもしくは押さえ難いか両方ともだ」ということは間違いだ fact13: もしもなにかは施行でないとしたら「押さえ難くて永代島である」ということは偽である fact14: あの話法が急かせればそのタリバン政府は凄まじい fact15: もし仮にその舞子さんが全神経でないし一件落着だということはないとしたらあの障害状態はハーブでない fact16: 仮になんらかのものが育まないけどそれが実験系ならば出し易い fact17: もし仮にあの話法が押さえ難いか施行であるかあるいはどちらもだとすればあの反力は押さえ難いということはない fact18: あの話法が凄まじいならばそのタリバン政府は凄まじい fact19: 「あの話法は事自体である」ということは事実である fact20: もしなんらかのものは震わせるけど言語面でないなら公的保険でない fact21: あの一時滞在ビザは震わせるがそれは言語面でない ; $hypothesis$ = あの話法は凄まじい ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮に何かは押さえ難いということはないとしたら急かせるかもしくはそれは凄まじいかあるいは両方ともである
事実2: あの敬虔主義は凄まじい
事実3: あの話法は狂おしい
事実4: 仮に「なんらかのものは押さえ難くて永代島である」ということは間違いであるならば押さえ難くない
事実5: もし「なんらかのものは急かせないか押さえ難いかあるいはどちらもである」ということは成り立たないとすればそれは凄まじくない
事実6: もし「あの一時滞在ビザは公的保険でない」ということは本当だとするとその舞子さんは育まないけれど実験系だ
事実7: この左右両端は凄まじい
事実8: あの話法は凄まじい
事実9: あの障害状態はハーブでないなら「この現職者は拗ねないがしかし施行だ」ということは成り立たない
事実10: 「すべてのものは施行でない」ということは成り立つ
事実11: もしとある物が出し易いならばそれは全神経でないしそれに一件落着でない
事実12: 仮にあるものは永代島でないとしたら「それは急かせないかもしくは押さえ難いか両方ともだ」ということは間違いだ
事実13: もしもなにかは施行でないとしたら「押さえ難くて永代島である」ということは偽である
事実14: あの話法が急かせればそのタリバン政府は凄まじい
事実15: もし仮にその舞子さんが全神経でないし一件落着だということはないとしたらあの障害状態はハーブでない
事実16: 仮になんらかのものが育まないけどそれが実験系ならば出し易い
事実17: もし仮にあの話法が押さえ難いか施行であるかあるいはどちらもだとすればあの反力は押さえ難いということはない
事実18: あの話法が凄まじいならばそのタリバン政府は凄まじい
事実19: 「あの話法は事自体である」ということは事実である
事実20: もしなんらかのものは震わせるけど言語面でないなら公的保険でない
事実21: あの一時滞在ビザは震わせるがそれは言語面でない

仮説: あの話法は凄まじい
1. 事実8から、仮説が導かれる

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