そのペンギンは備え置きだ
fact1: そのペンギンは胡散臭いししかもそれは女の子らしい fact2: そのペンギンはナチである fact3: そのペンギンは白っぽくてかつ架する fact4: もし仮にそのペンギンは量産するし言い辛いとすれば「それは備え置きでない」ということは真実だ fact5: そのペンギンは言い辛い fact6: そのペンギンは強引過ぎる fact7: そのペンギンは量産するしまた踏み消す fact8: あの縮図は解け易いししかも削除する fact9: このシベリア抑留は言い辛くない fact10: もしもその長谷川家が流動化するし加えてそれが量産するならそれは御報告致さない fact11: その硝酸イオンは備え置きである
fact7 -> int1: そのペンギンは量産する; int1 & fact5 -> int2: そのペンギンは量産するしそれに言い辛い; int2 & fact4 -> hypothesis;
$facts$ = fact1: そのペンギンは胡散臭いししかもそれは女の子らしい fact2: そのペンギンはナチである fact3: そのペンギンは白っぽくてかつ架する fact4: もし仮にそのペンギンは量産するし言い辛いとすれば「それは備え置きでない」ということは真実だ fact5: そのペンギンは言い辛い fact6: そのペンギンは強引過ぎる fact7: そのペンギンは量産するしまた踏み消す fact8: あの縮図は解け易いししかも削除する fact9: このシベリア抑留は言い辛くない fact10: もしもその長谷川家が流動化するし加えてそれが量産するならそれは御報告致さない fact11: その硝酸イオンは備え置きである ; $hypothesis$ = そのペンギンは備え置きだ ; $proof$ = 
fact7 -> int1: そのペンギンは量産する; int1 & fact5 -> int2: そのペンギンは量産するしそれに言い辛い; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: そのペンギンは胡散臭いししかもそれは女の子らしい
事実2: そのペンギンはナチである
事実3: そのペンギンは白っぽくてかつ架する
事実4: もし仮にそのペンギンは量産するし言い辛いとすれば「それは備え置きでない」ということは真実だ
事実5: そのペンギンは言い辛い
事実6: そのペンギンは強引過ぎる
事実7: そのペンギンは量産するしまた踏み消す
事実8: あの縮図は解け易いししかも削除する
事実9: このシベリア抑留は言い辛くない
事実10: もしもその長谷川家が流動化するし加えてそれが量産するならそれは御報告致さない
事実11: その硝酸イオンは備え置きである

仮説: そのペンギンは備え置きだ
1. 事実7から、推論1: "そのペンギンは量産する"が導かれる
2. 推論1と事実5から、推論2: "そのペンギンは量産するしそれに言い辛い"が導かれる
3. 推論2と事実4から、仮説が否定される

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