この三室は天声人語でない
fact1: もし仮になにかは日中戦争であるということはないとしたら「天声人語でない」ということは成り立つ fact2: もし仮にあの説明板が番うとしたらこの三室は天声人語だ fact3: そのクラス名が貰えないならばあの説明板は焦げ臭い fact4: 「番う」ものはある fact5: あの説明板が日中戦争だしまたそれは番う fact6: 仮に「その経営実態は賄い切れない」ということは成り立てばこの仕分けパターンは運転し易いけれど馬鹿でかくない fact7: 「その経営実態は賄い切れるということはない」ということは真実である fact8: もし「この五歳馬は天声人語でなくてそれに番うない」ということは成り立たないとしたら「しんどい」ということは成り立つ
fact5 -> int1: あの説明板は番う; int1 & fact2 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
この三室は天声人語であるということはない
fact11 -> int2: 仮にこの三室は日中戦争でないならそれは天声人語でない; fact9 & fact12 -> int3: この仕分けパターンは運転し易い一方で馬鹿でかくない; int3 -> int4: なんらかの物は運転し易いけど馬鹿でかくない;
$facts$ = fact1: もし仮になにかは日中戦争であるということはないとしたら「天声人語でない」ということは成り立つ fact2: もし仮にあの説明板が番うとしたらこの三室は天声人語だ fact3: そのクラス名が貰えないならばあの説明板は焦げ臭い fact4: 「番う」ものはある fact5: あの説明板が日中戦争だしまたそれは番う fact6: 仮に「その経営実態は賄い切れない」ということは成り立てばこの仕分けパターンは運転し易いけれど馬鹿でかくない fact7: 「その経営実態は賄い切れるということはない」ということは真実である fact8: もし「この五歳馬は天声人語でなくてそれに番うない」ということは成り立たないとしたら「しんどい」ということは成り立つ ; $hypothesis$ = この三室は天声人語でない ; $proof$ = 
fact5 -> int1: あの説明板は番う; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは日中戦争であるということはないとしたら「天声人語でない」ということは成り立つ
事実2: もし仮にあの説明板が番うとしたらこの三室は天声人語だ
事実3: そのクラス名が貰えないならばあの説明板は焦げ臭い
事実4: 「番う」ものはある
事実5: あの説明板が日中戦争だしまたそれは番う
事実6: 仮に「その経営実態は賄い切れない」ということは成り立てばこの仕分けパターンは運転し易いけれど馬鹿でかくない
事実7: 「その経営実態は賄い切れるということはない」ということは真実である
事実8: もし「この五歳馬は天声人語でなくてそれに番うない」ということは成り立たないとしたら「しんどい」ということは成り立つ

仮説: この三室は天声人語でない
1. 事実5から、推論1: "あの説明板は番う"が導かれる
2. 推論1と事実2から、仮説が否定される

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