そのクランクシャフトは造園である
fact1: あの札付きは百戦するしまた検証す fact2: そのクランクシャフトは百戦しない fact3: もしもそのクランクシャフトが白髯だとすれば造園だ fact4: 仮に「そのクランクシャフトは百戦しない」ということは正しいとすれば傑物だ fact5: このツリー状態は百戦しない fact6: 「そのクランクシャフトが百戦しないとしたらそのクランクシャフトは傑物でそれにそれは白髯だ」ということは本当である fact7: もしもなにがしかの物が百戦するし検証すとすればそのクランクシャフトはアクセスし易い
fact6 & fact2 -> int1: そのクランクシャフトは傑物でしかも白髯だ; int1 -> int2: そのクランクシャフトは白髯である; int2 & fact3 -> hypothesis;
fact6 & fact2 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact3 -> hypothesis;
そのクランクシャフトはアクセスし易いしまたあどけない
fact9 -> int3: ある物は百戦するし更にそれは検証す; int3 & fact8 -> int4: そのクランクシャフトはアクセスし易い;
$facts$ = fact1: あの札付きは百戦するしまた検証す fact2: そのクランクシャフトは百戦しない fact3: もしもそのクランクシャフトが白髯だとすれば造園だ fact4: 仮に「そのクランクシャフトは百戦しない」ということは正しいとすれば傑物だ fact5: このツリー状態は百戦しない fact6: 「そのクランクシャフトが百戦しないとしたらそのクランクシャフトは傑物でそれにそれは白髯だ」ということは本当である fact7: もしもなにがしかの物が百戦するし検証すとすればそのクランクシャフトはアクセスし易い ; $hypothesis$ = そのクランクシャフトは造園である ; $proof$ = 
fact6 & fact2 -> int1: そのクランクシャフトは傑物でしかも白髯だ; int1 -> int2: そのクランクシャフトは白髯である; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの札付きは百戦するしまた検証す
事実2: そのクランクシャフトは百戦しない
事実3: もしもそのクランクシャフトが白髯だとすれば造園だ
事実4: 仮に「そのクランクシャフトは百戦しない」ということは正しいとすれば傑物だ
事実5: このツリー状態は百戦しない
事実6: 「そのクランクシャフトが百戦しないとしたらそのクランクシャフトは傑物でそれにそれは白髯だ」ということは本当である
事実7: もしもなにがしかの物が百戦するし検証すとすればそのクランクシャフトはアクセスし易い

仮説: そのクランクシャフトは造園である
1. 事実6と事実2から、推論1: "そのクランクシャフトは傑物でしかも白髯だ"が導かれる
2. 推論1から、推論2: "そのクランクシャフトは白髯である"が導かれる
3. 推論2と事実3から、仮説が導かれる

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