「この餌入れはたわいないということはないけどそれは御出でに成る」ということは間違いである
fact1: 茶色くない物は純非分離拡大であるかもしくはほろ苦いかどちらもである fact2: もしこの上座部仏教はほろ苦いとしたら「この餌入れはたわいなくない一方で御出でに成る」ということは事実と異なる fact3: あのインジケータは倒錯するしそれにそれは日計表だ fact4: もし仮に「この上座部仏教は茶色くないかまたは際限無くないかあるいは両方ともである」ということは嘘ならばあの餌入れは茶色くない fact5: この上座部仏教は日計表であるしかつそれはほろ苦い fact6: この餌入れは御出でに成るしそれは消去する fact7: この餌入れはほろ苦い fact8: もしも何かは割り引きすれば「茶色いということはないかもしくはそれは際限無くないかどちらもである」ということは成り立つということはない fact9: この上座部仏教はたわいない fact10: この上座部仏教は割り引きする fact11: その警察予備隊はクーデターだしおまけにほろ苦い fact12: 「この餌入れは日計表である」ということは成り立つ
fact5 -> int1: この上座部仏教はほろ苦い; int1 & fact2 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
その警察予備隊はクーデターだし加えてたわいない
fact13 -> int2: 「その警察予備隊はクーデターだ」ということは確かである;
$facts$ = fact1: 茶色くない物は純非分離拡大であるかもしくはほろ苦いかどちらもである fact2: もしこの上座部仏教はほろ苦いとしたら「この餌入れはたわいなくない一方で御出でに成る」ということは事実と異なる fact3: あのインジケータは倒錯するしそれにそれは日計表だ fact4: もし仮に「この上座部仏教は茶色くないかまたは際限無くないかあるいは両方ともである」ということは嘘ならばあの餌入れは茶色くない fact5: この上座部仏教は日計表であるしかつそれはほろ苦い fact6: この餌入れは御出でに成るしそれは消去する fact7: この餌入れはほろ苦い fact8: もしも何かは割り引きすれば「茶色いということはないかもしくはそれは際限無くないかどちらもである」ということは成り立つということはない fact9: この上座部仏教はたわいない fact10: この上座部仏教は割り引きする fact11: その警察予備隊はクーデターだしおまけにほろ苦い fact12: 「この餌入れは日計表である」ということは成り立つ ; $hypothesis$ = 「この餌入れはたわいないということはないけどそれは御出でに成る」ということは間違いである ; $proof$ = 
fact5 -> int1: この上座部仏教はほろ苦い; int1 & fact2 -> hypothesis; __PROVED__
事実1: 茶色くない物は純非分離拡大であるかもしくはほろ苦いかどちらもである
事実2: もしこの上座部仏教はほろ苦いとしたら「この餌入れはたわいなくない一方で御出でに成る」ということは事実と異なる
事実3: あのインジケータは倒錯するしそれにそれは日計表だ
事実4: もし仮に「この上座部仏教は茶色くないかまたは際限無くないかあるいは両方ともである」ということは嘘ならばあの餌入れは茶色くない
事実5: この上座部仏教は日計表であるしかつそれはほろ苦い
事実6: この餌入れは御出でに成るしそれは消去する
事実7: この餌入れはほろ苦い
事実8: もしも何かは割り引きすれば「茶色いということはないかもしくはそれは際限無くないかどちらもである」ということは成り立つということはない
事実9: この上座部仏教はたわいない
事実10: この上座部仏教は割り引きする
事実11: その警察予備隊はクーデターだしおまけにほろ苦い
事実12: 「この餌入れは日計表である」ということは成り立つ

仮説: 「この餌入れはたわいないということはないけどそれは御出でに成る」ということは間違いである
1. 事実5から、推論1: "この上座部仏教はほろ苦い"が導かれる
2. 推論1と事実2から、仮説が導かれる

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