このワッペンは上総系でない
fact1: デフォルト等は機械装置でないとしたら「上総系だ」ということは成り立つ fact2: 粘り強い国家行政はない fact3: 仮にデフォルト等が機械装置だとすると上総系である fact4: もしもその非屈折詞は付帯条項であるということはないならば「それは握り易いがしかし相対的記載事項でない」ということは真実だ fact5: もし「「その感覚受容器は国家行政であるしさらに粘り強い」ということは間違いだ」ということは誤りでないとすればこのワッペンは粘り強くない fact6: もしもなにがしかのものがど突くとすればそれは募集方法でそれは意地悪いということはない fact7: 仮にこのワッペンはマリナーだがしかし上総系でないとすれば「付帯条項だ」ということは正しい fact8: もし「その感覚受容器はど突かないけど国家行政である」ということは成り立たないならそれはど突く fact9: このワッペンはど突かない fact10: このワッペンは刊行しない fact11: あのパターンは機械装置でない fact12: もし仮にこのワッペンが怖じ気付かないならばそれは一日付けでない fact13: 仮にこのワッペンがど突かないならそれは機械装置でない fact14: もし仮にこのワッペンは粘り強いということはないとしたら「それは上総系でないしその上給付しない」ということは成り立たない fact15: このワッペンがど突かないとするとそれはデフォルト等であるし機械装置でない fact16: もし仮にこのワッペンはデフォルト等で機械装置だとすればそれは上総系である
fact15 & fact9 -> int1: このワッペンはデフォルト等であるけどそれは機械装置でない; fact1 -> int2: このワッペンはデフォルト等であるが機械装置でないとすると「上総系である」ということは事実である; int1 & int2 -> hypothesis;
fact15 & fact9 -> int1: ({AA}{a} & ¬{AB}{a}); fact1 -> int2: ({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
このワッペンは上総系でない
$facts$ = fact1: デフォルト等は機械装置でないとしたら「上総系だ」ということは成り立つ fact2: 粘り強い国家行政はない fact3: 仮にデフォルト等が機械装置だとすると上総系である fact4: もしもその非屈折詞は付帯条項であるということはないならば「それは握り易いがしかし相対的記載事項でない」ということは真実だ fact5: もし「「その感覚受容器は国家行政であるしさらに粘り強い」ということは間違いだ」ということは誤りでないとすればこのワッペンは粘り強くない fact6: もしもなにがしかのものがど突くとすればそれは募集方法でそれは意地悪いということはない fact7: 仮にこのワッペンはマリナーだがしかし上総系でないとすれば「付帯条項だ」ということは正しい fact8: もし「その感覚受容器はど突かないけど国家行政である」ということは成り立たないならそれはど突く fact9: このワッペンはど突かない fact10: このワッペンは刊行しない fact11: あのパターンは機械装置でない fact12: もし仮にこのワッペンが怖じ気付かないならばそれは一日付けでない fact13: 仮にこのワッペンがど突かないならそれは機械装置でない fact14: もし仮にこのワッペンは粘り強いということはないとしたら「それは上総系でないしその上給付しない」ということは成り立たない fact15: このワッペンがど突かないとするとそれはデフォルト等であるし機械装置でない fact16: もし仮にこのワッペンはデフォルト等で機械装置だとすればそれは上総系である ; $hypothesis$ = このワッペンは上総系でない ; $proof$ = 
fact15 & fact9 -> int1: このワッペンはデフォルト等であるけどそれは機械装置でない; fact1 -> int2: このワッペンはデフォルト等であるが機械装置でないとすると「上総系である」ということは事実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: デフォルト等は機械装置でないとしたら「上総系だ」ということは成り立つ
事実2: 粘り強い国家行政はない
事実3: 仮にデフォルト等が機械装置だとすると上総系である
事実4: もしもその非屈折詞は付帯条項であるということはないならば「それは握り易いがしかし相対的記載事項でない」ということは真実だ
事実5: もし「「その感覚受容器は国家行政であるしさらに粘り強い」ということは間違いだ」ということは誤りでないとすればこのワッペンは粘り強くない
事実6: もしもなにがしかのものがど突くとすればそれは募集方法でそれは意地悪いということはない
事実7: 仮にこのワッペンはマリナーだがしかし上総系でないとすれば「付帯条項だ」ということは正しい
事実8: もし「その感覚受容器はど突かないけど国家行政である」ということは成り立たないならそれはど突く
事実9: このワッペンはど突かない
事実10: このワッペンは刊行しない
事実11: あのパターンは機械装置でない
事実12: もし仮にこのワッペンが怖じ気付かないならばそれは一日付けでない
事実13: 仮にこのワッペンがど突かないならそれは機械装置でない
事実14: もし仮にこのワッペンは粘り強いということはないとしたら「それは上総系でないしその上給付しない」ということは成り立たない
事実15: このワッペンがど突かないとするとそれはデフォルト等であるし機械装置でない
事実16: もし仮にこのワッペンはデフォルト等で機械装置だとすればそれは上総系である

仮説: このワッペンは上総系でない
1. 事実15と事実9から、推論1: "このワッペンはデフォルト等であるけどそれは機械装置でない"が導かれる
2. 事実1から、推論2: "このワッペンはデフォルト等であるが機械装置でないとすると「上総系である」ということは事実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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