その第一階級は税務調査でない
fact1: もし仮にその舌鼓が甲乙協議するとすると四世紀である fact2: もし仮に嫌らしくないものが依存し合うとするとそれは運悪い fact3: その舌鼓が話ならばその第一階級は税務調査である fact4: もしその第一階級が専門事業者であるならその舌鼓は甲乙協議する fact5: その舌鼓は甲乙協議する fact6: 何らかの物は四世紀であるなら落書きしない fact7: この千万が専門事業者ならばその舌鼓は専門事業者である fact8: もし仮に「なにがしかのものは落書きしないがしかし専門事業者だ」ということは正しいとすればそれは話だ fact9: もしなんらかのものが話であるとすればそれが落書きしないしさらにそれは税務調査だ fact10: もし仮にこの青桐林が身軽いとするとそれは話である fact11: もしこの青桐林が話だとすればあの千万は専門事業者だがしかしそれは落書きしない fact12: 四世紀は落書きしないけど専門事業者だ fact13: その第一階級は甲乙協議しない
fact1 & fact5 -> int1: その舌鼓は四世紀だ; fact12 -> int2: もしもその舌鼓は四世紀であるならば落書きするということはないけれど専門事業者である; int1 & int2 -> int3: その舌鼓は落書きしない一方で専門事業者である; fact8 -> int4: 仮にその舌鼓は落書きしない一方で専門事業者だとしたらそれは話である; int3 & int4 -> int5: 「その舌鼓は話だ」ということは事実である; int5 & fact3 -> hypothesis;
その第一階級は税務調査でない
$facts$ = fact1: もし仮にその舌鼓が甲乙協議するとすると四世紀である fact2: もし仮に嫌らしくないものが依存し合うとするとそれは運悪い fact3: その舌鼓が話ならばその第一階級は税務調査である fact4: もしその第一階級が専門事業者であるならその舌鼓は甲乙協議する fact5: その舌鼓は甲乙協議する fact6: 何らかの物は四世紀であるなら落書きしない fact7: この千万が専門事業者ならばその舌鼓は専門事業者である fact8: もし仮に「なにがしかのものは落書きしないがしかし専門事業者だ」ということは正しいとすればそれは話だ fact9: もしなんらかのものが話であるとすればそれが落書きしないしさらにそれは税務調査だ fact10: もし仮にこの青桐林が身軽いとするとそれは話である fact11: もしこの青桐林が話だとすればあの千万は専門事業者だがしかしそれは落書きしない fact12: 四世紀は落書きしないけど専門事業者だ fact13: その第一階級は甲乙協議しない ; $hypothesis$ = その第一階級は税務調査でない ; $proof$ = 
fact1 & fact5 -> int1: その舌鼓は四世紀だ; fact12 -> int2: もしもその舌鼓は四世紀であるならば落書きするということはないけれど専門事業者である; int1 & int2 -> int3: その舌鼓は落書きしない一方で専門事業者である; fact8 -> int4: 仮にその舌鼓は落書きしない一方で専門事業者だとしたらそれは話である; int3 & int4 -> int5: 「その舌鼓は話だ」ということは事実である; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にその舌鼓が甲乙協議するとすると四世紀である
事実2: もし仮に嫌らしくないものが依存し合うとするとそれは運悪い
事実3: その舌鼓が話ならばその第一階級は税務調査である
事実4: もしその第一階級が専門事業者であるならその舌鼓は甲乙協議する
事実5: その舌鼓は甲乙協議する
事実6: 何らかの物は四世紀であるなら落書きしない
事実7: この千万が専門事業者ならばその舌鼓は専門事業者である
事実8: もし仮に「なにがしかのものは落書きしないがしかし専門事業者だ」ということは正しいとすればそれは話だ
事実9: もしなんらかのものが話であるとすればそれが落書きしないしさらにそれは税務調査だ
事実10: もし仮にこの青桐林が身軽いとするとそれは話である
事実11: もしこの青桐林が話だとすればあの千万は専門事業者だがしかしそれは落書きしない
事実12: 四世紀は落書きしないけど専門事業者だ
事実13: その第一階級は甲乙協議しない

仮説: その第一階級は税務調査でない
1. 事実1と事実5から、推論1: "その舌鼓は四世紀だ"が導かれる
2. 事実12から、推論2: "もしもその舌鼓は四世紀であるならば落書きするということはないけれど専門事業者である"が導かれる
3. 推論1と推論2から、推論3: "その舌鼓は落書きしない一方で専門事業者である"が導かれる
4. 事実8から、推論4: "仮にその舌鼓は落書きしない一方で専門事業者だとしたらそれは話である"が導かれる
5. 推論3と推論4から、推論5: "「その舌鼓は話だ」ということは事実である"が導かれる
6. 推論5と事実3から、仮説が否定される

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