この当該部分は単純執行文でない
fact1: 「「見え始める」物はある」ということは成り立つとしたら「この貸借対照表価額は依存症でないが辛気臭い」ということは事実と異なる fact2: もしあのリフレインがカットオフ周波数だとするとこの家内労働法はカットオフ周波数である fact3: もし「なんらかの物は依存症でないしおまけに辛気臭くない」ということは成り立たないならそれは平均以上でない fact4: 辛気臭いものは平均以上でない fact5: もし「見え始める」物はあるなら「この貸借対照表価額は依存症でなくて辛気臭くない」ということは成り立たない fact6: 「「この当該部分は単純執行文だがカットオフ周波数でない」ということは成り立たない」ということは本当だ fact7: もしもあるものが見え始めるとすれば単純執行文である fact8: なにかは見え始める fact9: もしもこの家内労働法がカットオフ周波数でないとするとこの当該部分は単純執行文でない fact10: もしもこの貸借対照表価額が辛気臭いとすればそれは平均以上でない fact11: あの通常業務は理解致さない fact12: 何かは理解致す fact13: もしもこの貸借対照表価額は単純執行文でないとすれば「この当該部分は依存症であるけど平均以上でない」ということは成り立たない fact14: 「夏らしい」ものはある fact15: 「この家内労働法は盛り上がらないし加えて青っぽくない」ということは成り立つということはない fact16: もしあの通常業務が理解致すということはないならばあのリフレインはカットオフ周波数だ fact17: 「この貸借対照表価額は依存症であるということはない一方で辛気臭い」ということは間違っている fact18: もし仮に何かはカットオフ周波数であるということはないとしたら「平均以上でないがしかし辛気臭い」ということは成り立たない fact19: もし仮に「何かは平均以上でないけれど辛気臭い」ということは誤りだとするとそれは辛気臭くない fact20: 「この家内労働法はカットオフ周波数だけれどそれは理解致さない」ということは嘘ならばこの当該部分は単純執行文でない fact21: もしこの貸借対照表価額は平均以上でないとしたら「この家内労働法はカットオフ周波数であるけれどそれは理解致さない」ということは成り立たない
fact8 & fact5 -> int1: 「この貸借対照表価額は依存症でないしさらに辛気臭いということはない」ということは間違いである; fact3 -> int2: もし仮に「この貸借対照表価額は依存症でないし加えて辛気臭くない」ということは確かでないとすると「平均以上でない」ということは正しい; int1 & int2 -> int3: 「この貸借対照表価額は平均以上でない」ということは事実である; int3 & fact21 -> int4: 「「この家内労働法はカットオフ周波数だがしかしそれは理解致さない」ということは事実である」ということは嘘である; int4 & fact20 -> hypothesis;
この当該部分は単純執行文だ
fact23 & fact22 -> int5: あのリフレインはカットオフ周波数だ; fact24 & int5 -> int6: この家内労働法はカットオフ周波数だ;
$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 & fact5 -> int1: 「この貸借対照表価額は依存症でないしさらに辛気臭いということはない」ということは間違いである; fact3 -> int2: もし仮に「この貸借対照表価額は依存症でないし加えて辛気臭くない」ということは確かでないとすると「平均以上でない」ということは正しい; int1 & int2 -> int3: 「この貸借対照表価額は平均以上でない」ということは事実である; int3 & fact21 -> int4: 「「この家内労働法はカットオフ周波数だがしかしそれは理解致さない」ということは事実である」ということは嘘である; int4 & fact20 -> 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と事実5から、推論1: "「この貸借対照表価額は依存症でないしさらに辛気臭いということはない」ということは間違いである"が導かれる
2. 事実3から、推論2: "もし仮に「この貸借対照表価額は依存症でないし加えて辛気臭くない」ということは確かでないとすると「平均以上でない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "「この貸借対照表価額は平均以上でない」ということは事実である"が導かれる
4. 推論3と事実21から、推論4: "「「この家内労働法はカットオフ周波数だがしかしそれは理解致さない」ということは事実である」ということは嘘である"が導かれる
5. 推論4と事実20から、仮説が導かれる

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