このドイツ人労働者はカテゴリー化しない
fact1: そのキャプチャは錆無い fact2: もし仮にそのキャプチャが右旋回しないししかも調和し難いということはないとするとこのドイツ人労働者はカテゴリー化しない fact3: このドイツ人労働者は御忙しくない fact4: もしもこのドイツ人労働者が錆無いとすると調和し難くないし更にそれはカテゴリー化しない fact5: 御忙しくないものは企画観光課であるならそれはイタリア系でない fact6: そのキャプチャが錆無いならばそれは右旋回しないし加えてそれは調和し難いということはない fact7: 仮にとあるものがイタリア系でないとするとカテゴリー化するしそれは錆無い fact8: 「そのキャプチャはカテゴリー化する」ということは真実だ
fact6 & fact1 -> int1: そのキャプチャは右旋回しないしそれは調和し難いということはない; int1 & fact2 -> hypothesis;
このドイツ人労働者はカテゴリー化する
fact10 -> int2: 仮に「このドイツ人労働者はイタリア系でない」ということは本当ならばそれはカテゴリー化するししかも錆無い; fact11 -> int3: 「このドイツ人労働者が御忙しいということはない一方で企画観光課だとすればあのドイツ人労働者はイタリア系でない」ということは確かだ;
$facts$ = fact1: そのキャプチャは錆無い fact2: もし仮にそのキャプチャが右旋回しないししかも調和し難いということはないとするとこのドイツ人労働者はカテゴリー化しない fact3: このドイツ人労働者は御忙しくない fact4: もしもこのドイツ人労働者が錆無いとすると調和し難くないし更にそれはカテゴリー化しない fact5: 御忙しくないものは企画観光課であるならそれはイタリア系でない fact6: そのキャプチャが錆無いならばそれは右旋回しないし加えてそれは調和し難いということはない fact7: 仮にとあるものがイタリア系でないとするとカテゴリー化するしそれは錆無い fact8: 「そのキャプチャはカテゴリー化する」ということは真実だ ; $hypothesis$ = このドイツ人労働者はカテゴリー化しない ; $proof$ = 
fact6 & fact1 -> int1: そのキャプチャは右旋回しないしそれは調和し難いということはない; int1 & fact2 -> hypothesis; __PROVED__
事実1: そのキャプチャは錆無い
事実2: もし仮にそのキャプチャが右旋回しないししかも調和し難いということはないとするとこのドイツ人労働者はカテゴリー化しない
事実3: このドイツ人労働者は御忙しくない
事実4: もしもこのドイツ人労働者が錆無いとすると調和し難くないし更にそれはカテゴリー化しない
事実5: 御忙しくないものは企画観光課であるならそれはイタリア系でない
事実6: そのキャプチャが錆無いならばそれは右旋回しないし加えてそれは調和し難いということはない
事実7: 仮にとあるものがイタリア系でないとするとカテゴリー化するしそれは錆無い
事実8: 「そのキャプチャはカテゴリー化する」ということは真実だ

仮説: このドイツ人労働者はカテゴリー化しない
1. 事実6と事実1から、推論1: "そのキャプチャは右旋回しないしそれは調和し難いということはない"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。