「その営業倉庫は外来診療だし加えてそれは面白い」ということは確かだということはない
fact1: もしその先頭車が支障無くないならばその営業倉庫は外来診療であるしそれは面白い fact2: もしこの御弁当作りが制度面でないならその先頭車は支障無くない fact3: もしその先頭車が支障無くないならばあの営業倉庫は外来診療だ fact4: この御弁当作りは面白い fact5: この御弁当作りは制度面でない fact6: その営業倉庫は外来診療であるしその上支障無い fact7: その夜々は支障無いということはない fact8: もしもその営業倉庫が制度面でないならこの御弁当作りは面白いし更に外来診療だ fact9: 「その先頭車は制度面でない」ということは本当だ fact10: もしもこの御弁当作りが延伸でないとすればそれは支障無くて更に制度面だ fact11: もしもその先頭車が外来診療でないとするとその営業倉庫は支障無い
fact2 & fact5 -> int1: その先頭車は支障無くない; int1 & fact1 -> hypothesis;
fact2 & fact5 -> int1: ¬{B}{b}; int1 & fact1 -> hypothesis;
「その営業倉庫は外来診療であるしおまけに面白い」ということは確かでない
$facts$ = fact1: もしその先頭車が支障無くないならばその営業倉庫は外来診療であるしそれは面白い fact2: もしこの御弁当作りが制度面でないならその先頭車は支障無くない fact3: もしその先頭車が支障無くないならばあの営業倉庫は外来診療だ fact4: この御弁当作りは面白い fact5: この御弁当作りは制度面でない fact6: その営業倉庫は外来診療であるしその上支障無い fact7: その夜々は支障無いということはない fact8: もしもその営業倉庫が制度面でないならこの御弁当作りは面白いし更に外来診療だ fact9: 「その先頭車は制度面でない」ということは本当だ fact10: もしもこの御弁当作りが延伸でないとすればそれは支障無くて更に制度面だ fact11: もしもその先頭車が外来診療でないとするとその営業倉庫は支障無い ; $hypothesis$ = 「その営業倉庫は外来診療だし加えてそれは面白い」ということは確かだということはない ; $proof$ = 
fact2 & fact5 -> int1: その先頭車は支障無くない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその先頭車が支障無くないならばその営業倉庫は外来診療であるしそれは面白い
事実2: もしこの御弁当作りが制度面でないならその先頭車は支障無くない
事実3: もしその先頭車が支障無くないならばあの営業倉庫は外来診療だ
事実4: この御弁当作りは面白い
事実5: この御弁当作りは制度面でない
事実6: その営業倉庫は外来診療であるしその上支障無い
事実7: その夜々は支障無いということはない
事実8: もしもその営業倉庫が制度面でないならこの御弁当作りは面白いし更に外来診療だ
事実9: 「その先頭車は制度面でない」ということは本当だ
事実10: もしもこの御弁当作りが延伸でないとすればそれは支障無くて更に制度面だ
事実11: もしもその先頭車が外来診療でないとするとその営業倉庫は支障無い

仮説: 「その営業倉庫は外来診療だし加えてそれは面白い」ということは確かだということはない
1. 事実2と事実5から、推論1: "その先頭車は支障無くない"が導かれる
2. 推論1と事実1から、仮説が否定される

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