「もしも「呪わしいがしかし成立し難いということはない」ということは誤っているとしたら望ましくらない」ものはある
fact1: 仮に「あの概況はパッシブ・ソノブイでそれは望ましい」ということは成り立たないならば含み損でない fact2: もしも「あの概況は呪わしい一方でそれは成立し難くない」ということは誤りであるならば望ましい fact3: もし「あの概況は呪わしい一方でそれは成立し難くない」ということは成り立たないならば望ましいということはない fact4: 「もし呪わしくないならば望ましくらない」ものはある fact5: 仮に「なにかは取り始める一方で自由経済でない」ということは偽であるなら設定しない fact6: もし仮にあの第一種特別約款が保険者番号欄であるがそれが噛み砕かないとするとそれは呪わしいということはない
fact3 -> hypothesis;
「仮に「取り始めるしそれに自由経済でない」ということは間違っていれば設定するということはない」ものはある
fact7 -> int1: 「この腹蔵は取り始めるけれど自由経済でない」ということは誤りならば「それは設定しない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 仮に「あの概況はパッシブ・ソノブイでそれは望ましい」ということは成り立たないならば含み損でない fact2: もしも「あの概況は呪わしい一方でそれは成立し難くない」ということは誤りであるならば望ましい fact3: もし「あの概況は呪わしい一方でそれは成立し難くない」ということは成り立たないならば望ましいということはない fact4: 「もし呪わしくないならば望ましくらない」ものはある fact5: 仮に「なにかは取り始める一方で自由経済でない」ということは偽であるなら設定しない fact6: もし仮にあの第一種特別約款が保険者番号欄であるがそれが噛み砕かないとするとそれは呪わしいということはない ; $hypothesis$ = 「もしも「呪わしいがしかし成立し難いということはない」ということは誤っているとしたら望ましくらない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮に「あの概況はパッシブ・ソノブイでそれは望ましい」ということは成り立たないならば含み損でない
事実2: もしも「あの概況は呪わしい一方でそれは成立し難くない」ということは誤りであるならば望ましい
事実3: もし「あの概況は呪わしい一方でそれは成立し難くない」ということは成り立たないならば望ましいということはない
事実4: 「もし呪わしくないならば望ましくらない」ものはある
事実5: 仮に「なにかは取り始める一方で自由経済でない」ということは偽であるなら設定しない
事実6: もし仮にあの第一種特別約款が保険者番号欄であるがそれが噛み砕かないとするとそれは呪わしいということはない

仮説: 「もしも「呪わしいがしかし成立し難いということはない」ということは誤っているとしたら望ましくらない」ものはある
1. 事実3から、仮説が導かれる

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