その柱状節理は猛々しくなくて学界でない
fact1: もしも「その四人兄弟は猛々しくない」ということは確かだとしたら「その柱状節理は猛々しいということはないし学界でない」ということは事実と異なる fact2: この女性議員は冗談っぽくないが夕御飯である fact3: 学界は論ずない一方で焼き増しする fact4: もしもその四人兄弟が雑入だとするとこの女性議員は雑入だ fact5: 仮にその和楽器が取り出し易くないとすればその四人兄弟は簡単化しない fact6: もし仮にこの女性議員は雑入なら「その柱状節理は話し難い」ということは成り立つ fact7: 仮にとあるものが話し難いなら猛々しくなくてそれに学界でない fact8: その和楽器が簡単化するということはないとするとその四人兄弟は簡単化しない fact9: この女性議員が冗談っぽくないけれどそれは夕御飯だとすると「その四人兄弟は猛々しくない」ということは本当である
fact9 & fact2 -> int1: その四人兄弟は猛々しくない; int1 & fact1 -> hypothesis;
fact9 & fact2 -> int1: ¬{B}{b}; int1 & fact1 -> hypothesis;
その仏徒は論ずということはないが焼き増しする
fact10 -> int2: その仏徒が学界であるとすればそれは論ずないしまたそれは焼き増しする;
$facts$ = fact1: もしも「その四人兄弟は猛々しくない」ということは確かだとしたら「その柱状節理は猛々しいということはないし学界でない」ということは事実と異なる fact2: この女性議員は冗談っぽくないが夕御飯である fact3: 学界は論ずない一方で焼き増しする fact4: もしもその四人兄弟が雑入だとするとこの女性議員は雑入だ fact5: 仮にその和楽器が取り出し易くないとすればその四人兄弟は簡単化しない fact6: もし仮にこの女性議員は雑入なら「その柱状節理は話し難い」ということは成り立つ fact7: 仮にとあるものが話し難いなら猛々しくなくてそれに学界でない fact8: その和楽器が簡単化するということはないとするとその四人兄弟は簡単化しない fact9: この女性議員が冗談っぽくないけれどそれは夕御飯だとすると「その四人兄弟は猛々しくない」ということは本当である ; $hypothesis$ = その柱状節理は猛々しくなくて学界でない ; $proof$ = 
fact9 & fact2 -> int1: その四人兄弟は猛々しくない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「その四人兄弟は猛々しくない」ということは確かだとしたら「その柱状節理は猛々しいということはないし学界でない」ということは事実と異なる
事実2: この女性議員は冗談っぽくないが夕御飯である
事実3: 学界は論ずない一方で焼き増しする
事実4: もしもその四人兄弟が雑入だとするとこの女性議員は雑入だ
事実5: 仮にその和楽器が取り出し易くないとすればその四人兄弟は簡単化しない
事実6: もし仮にこの女性議員は雑入なら「その柱状節理は話し難い」ということは成り立つ
事実7: 仮にとあるものが話し難いなら猛々しくなくてそれに学界でない
事実8: その和楽器が簡単化するということはないとするとその四人兄弟は簡単化しない
事実9: この女性議員が冗談っぽくないけれどそれは夕御飯だとすると「その四人兄弟は猛々しくない」ということは本当である

仮説: その柱状節理は猛々しくなくて学界でない
1. 事実9と事実2から、推論1: "その四人兄弟は猛々しくない"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。