このＳ字形はＡＷＰ製でない
fact1: もしこの機械メーカーはＡＷＰ製であるならばアレンジメントである fact2: もし何らかの物は感じ難いけど赤っぽくないとすればそれは出ずない fact3: 「この機械メーカーはＡＷＰ製である」ということは本当だとしたら類似業種比準価額である fact4: もしもこの機械メーカーがアレンジメントならこのＳ字形はＡＷＰ製である fact5: この機械メーカーは開閉する fact6: もしこの機械メーカーがアレンジメントであるがしかしＡＷＰ製でないならばあのＳ字形はＡＷＰ製であるということはない fact7: もし仮にこの機械メーカーが開閉するとすればアレンジメントだ fact8: もし仮にアレンジメントがＡＷＰ製でないとすればあの恋仲は開閉する
fact7 & fact5 -> int1: この機械メーカーはアレンジメントである; int1 & fact4 -> hypothesis;
「このＳ字形はＡＷＰ製だということはない」ということは成り立つ
$facts$ = fact1: もしこの機械メーカーはＡＷＰ製であるならばアレンジメントである fact2: もし何らかの物は感じ難いけど赤っぽくないとすればそれは出ずない fact3: 「この機械メーカーはＡＷＰ製である」ということは本当だとしたら類似業種比準価額である fact4: もしもこの機械メーカーがアレンジメントならこのＳ字形はＡＷＰ製である fact5: この機械メーカーは開閉する fact6: もしこの機械メーカーがアレンジメントであるがしかしＡＷＰ製でないならばあのＳ字形はＡＷＰ製であるということはない fact7: もし仮にこの機械メーカーが開閉するとすればアレンジメントだ fact8: もし仮にアレンジメントがＡＷＰ製でないとすればあの恋仲は開閉する ; $hypothesis$ = このＳ字形はＡＷＰ製でない ; $proof$ = 
fact7 & fact5 -> int1: この機械メーカーはアレンジメントである; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの機械メーカーはＡＷＰ製であるならばアレンジメントである
事実2: もし何らかの物は感じ難いけど赤っぽくないとすればそれは出ずない
事実3: 「この機械メーカーはＡＷＰ製である」ということは本当だとしたら類似業種比準価額である
事実4: もしもこの機械メーカーがアレンジメントならこのＳ字形はＡＷＰ製である
事実5: この機械メーカーは開閉する
事実6: もしこの機械メーカーがアレンジメントであるがしかしＡＷＰ製でないならばあのＳ字形はＡＷＰ製であるということはない
事実7: もし仮にこの機械メーカーが開閉するとすればアレンジメントだ
事実8: もし仮にアレンジメントがＡＷＰ製でないとすればあの恋仲は開閉する

仮説: このＳ字形はＡＷＰ製でない
1. 事実7と事実5から、推論1: "この機械メーカーはアレンジメントである"が導かれる
2. 推論1と事実4から、仮説が否定される

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