「もし仮に懐かしがるということはないとすると「什器でないし御説きに成らない」ということは偽である」物はある
fact1: 「「懐かしがらない」ということは真実だとすると「什器でないけど御説きに成る」ということは成り立たない」物はある fact2: もし仮にある物は懐かしがらないとすると「それは什器でないしそれに御説きに成らない」ということは嘘だ fact3: 仮にその労働契約承継法は価格低下でないとすると「それは懐かしがらないしそれに喋り出さない」ということは成り立たない fact4: 「仮に「懐かしがる」ということは確かであるとすれば「什器でないし御説きに成らない」ということは真実でない」ものはある fact5: 「仮に運悪くないとしたら時価でなくてその上怠いない」ものはある fact6: 「治療上でないならば「補間するしおまけに腹黒くない」ということは成り立たない」物はある
fact2 -> int1: もしもその労働契約承継法は懐かしがらないならば「それは什器でないしさらに御説きに成らない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 「「懐かしがらない」ということは真実だとすると「什器でないけど御説きに成る」ということは成り立たない」物はある fact2: もし仮にある物は懐かしがらないとすると「それは什器でないしそれに御説きに成らない」ということは嘘だ fact3: 仮にその労働契約承継法は価格低下でないとすると「それは懐かしがらないしそれに喋り出さない」ということは成り立たない fact4: 「仮に「懐かしがる」ということは確かであるとすれば「什器でないし御説きに成らない」ということは真実でない」ものはある fact5: 「仮に運悪くないとしたら時価でなくてその上怠いない」ものはある fact6: 「治療上でないならば「補間するしおまけに腹黒くない」ということは成り立たない」物はある ; $hypothesis$ = 「もし仮に懐かしがるということはないとすると「什器でないし御説きに成らない」ということは偽である」物はある ; $proof$ = 
fact2 -> int1: もしもその労働契約承継法は懐かしがらないならば「それは什器でないしさらに御説きに成らない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: 「「懐かしがらない」ということは真実だとすると「什器でないけど御説きに成る」ということは成り立たない」物はある
事実2: もし仮にある物は懐かしがらないとすると「それは什器でないしそれに御説きに成らない」ということは嘘だ
事実3: 仮にその労働契約承継法は価格低下でないとすると「それは懐かしがらないしそれに喋り出さない」ということは成り立たない
事実4: 「仮に「懐かしがる」ということは確かであるとすれば「什器でないし御説きに成らない」ということは真実でない」ものはある
事実5: 「仮に運悪くないとしたら時価でなくてその上怠いない」ものはある
事実6: 「治療上でないならば「補間するしおまけに腹黒くない」ということは成り立たない」物はある

仮説: 「もし仮に懐かしがるということはないとすると「什器でないし御説きに成らない」ということは偽である」物はある
1. 事実2から、推論1: "もしもその労働契約承継法は懐かしがらないならば「それは什器でないしさらに御説きに成らない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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