そのシステム内空港が根本煩悩だしそれは肥大化する
fact1: もしも「「周旋屋でないけど無声化し易い」ということは誤っている」物があるとすればこの酎は反対する fact2: もしも「この酎は反対しない」ということは本当であるなら「そのシステム内空港が根本煩悩だしまた肥大化する」ということは偽だ fact3: そのシステム内空港は肥大化する fact4: 「「周旋屋でないしその上無声化し易い」ということは誤っている」物はある fact5: もし仮に「この酎は反対する」ということは正しいとするとそのシステム内空港は根本煩悩である fact6: なんらかの物は肥大化するなら「根本煩悩でないしそれは反対する」ということは誤りだ fact7: もしも「とある物は反対するけれど据え切らない」ということは成り立たないとしたら「反対するということはない」ということは事実である
fact4 & fact1 -> int1: この酎は反対する; int1 & fact5 -> int2: 「そのシステム内空港は根本煩悩だ」ということは事実である; int2 & fact3 -> hypothesis;
「そのシステム内空港は根本煩悩であるし肥大化する」ということは事実と異なる
fact9 -> int3: 「この酎は反対するがしかし据え切らない」ということは偽ならば「反対しない」ということは嘘であるということはない;
$facts$ = fact1: もしも「「周旋屋でないけど無声化し易い」ということは誤っている」物があるとすればこの酎は反対する fact2: もしも「この酎は反対しない」ということは本当であるなら「そのシステム内空港が根本煩悩だしまた肥大化する」ということは偽だ fact3: そのシステム内空港は肥大化する fact4: 「「周旋屋でないしその上無声化し易い」ということは誤っている」物はある fact5: もし仮に「この酎は反対する」ということは正しいとするとそのシステム内空港は根本煩悩である fact6: なんらかの物は肥大化するなら「根本煩悩でないしそれは反対する」ということは誤りだ fact7: もしも「とある物は反対するけれど据え切らない」ということは成り立たないとしたら「反対するということはない」ということは事実である ; $hypothesis$ = そのシステム内空港が根本煩悩だしそれは肥大化する ; $proof$ = 
fact4 & fact1 -> int1: この酎は反対する; int1 & fact5 -> int2: 「そのシステム内空港は根本煩悩だ」ということは事実である; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしも「「周旋屋でないけど無声化し易い」ということは誤っている」物があるとすればこの酎は反対する
事実2: もしも「この酎は反対しない」ということは本当であるなら「そのシステム内空港が根本煩悩だしまた肥大化する」ということは偽だ
事実3: そのシステム内空港は肥大化する
事実4: 「「周旋屋でないしその上無声化し易い」ということは誤っている」物はある
事実5: もし仮に「この酎は反対する」ということは正しいとするとそのシステム内空港は根本煩悩である
事実6: なんらかの物は肥大化するなら「根本煩悩でないしそれは反対する」ということは誤りだ
事実7: もしも「とある物は反対するけれど据え切らない」ということは成り立たないとしたら「反対するということはない」ということは事実である

仮説: そのシステム内空港が根本煩悩だしそれは肥大化する
1. 事実4と事実1から、推論1: "この酎は反対する"が導かれる
2. 推論1と事実5から、推論2: "「そのシステム内空港は根本煩悩だ」ということは事実である"が導かれる
3. 推論2と事実3から、仮説が導かれる

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