このガゼルは独立機関でない
fact1: その従価税が期待インフレ率だしかつそれは程良い fact2: 来辛いということはないものは期待インフレ率でないがしかし程良い fact3: その従価税は期待インフレ率である fact4: 仮に「なんらかのものは止む無くてまたそれは幼し」ということは誤っているとするとそれは来辛いということはない fact5: その従価税が期待インフレ率でないとするとこのガゼルは独立機関でない fact6: その従価税は期待インフレ率だしおまけに独立機関だ fact7: このガゼルは期待インフレ率である fact8: 「このガゼルは程良い」ということは正しい fact9: その従価税は気弱い fact10: あの傍は独立機関だ fact11: その従価税が程良いとするとこのガゼルは独立機関である fact12: その従価税は独立機関である
fact1 -> int1: その従価税は程良い; int1 & fact11 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact11 -> hypothesis;
このガゼルは独立機関でない
fact15 -> int2: その従価税が来辛いということはないとすれば期待インフレ率でないが程良い; fact14 -> int3: 「「その従価税は止む無いしその上幼し」ということは誤っている」ということは成り立つとするとそれは来辛くない;
$facts$ = fact1: その従価税が期待インフレ率だしかつそれは程良い fact2: 来辛いということはないものは期待インフレ率でないがしかし程良い fact3: その従価税は期待インフレ率である fact4: 仮に「なんらかのものは止む無くてまたそれは幼し」ということは誤っているとするとそれは来辛いということはない fact5: その従価税が期待インフレ率でないとするとこのガゼルは独立機関でない fact6: その従価税は期待インフレ率だしおまけに独立機関だ fact7: このガゼルは期待インフレ率である fact8: 「このガゼルは程良い」ということは正しい fact9: その従価税は気弱い fact10: あの傍は独立機関だ fact11: その従価税が程良いとするとこのガゼルは独立機関である fact12: その従価税は独立機関である ; $hypothesis$ = このガゼルは独立機関でない ; $proof$ = 
fact1 -> int1: その従価税は程良い; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: その従価税が期待インフレ率だしかつそれは程良い
事実2: 来辛いということはないものは期待インフレ率でないがしかし程良い
事実3: その従価税は期待インフレ率である
事実4: 仮に「なんらかのものは止む無くてまたそれは幼し」ということは誤っているとするとそれは来辛いということはない
事実5: その従価税が期待インフレ率でないとするとこのガゼルは独立機関でない
事実6: その従価税は期待インフレ率だしおまけに独立機関だ
事実7: このガゼルは期待インフレ率である
事実8: 「このガゼルは程良い」ということは正しい
事実9: その従価税は気弱い
事実10: あの傍は独立機関だ
事実11: その従価税が程良いとするとこのガゼルは独立機関である
事実12: その従価税は独立機関である

仮説: このガゼルは独立機関でない
1. 事実1から、推論1: "その従価税は程良い"が導かれる
2. 推論1と事実11から、仮説が否定される

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