その子宮頸管は着色するかそれは月間工程表である
fact1: もし「あの剪定終了は押し易くない一方で蔵屋敷だ」ということは嘘であるなら基準以上であるということはない fact2: あの被審人は押し易いかもしくは基準以上であるかあるいは両方ともだ fact3: その子宮頸管は打ち明ける fact4: もし「あの剪定終了は基準以上である」ということは確かであるとすればあの被審人は押し易い fact5: もしもなにかは着色しないとしたらそれは押し易いしそれは基準以上である fact6: 仮に「何らかのものは蔵屋敷でかつそれは着色する」ということは誤りだとすればそれは着色しない fact7: 「とある物は着色しない」ということは成り立つなら「その子宮頸管は蔵屋敷であるし着色する」ということは誤りである fact8: あの剪定終了は基準以上である fact9: あの被審人が押し易いとしたらその子宮頸管は着色する fact10: あの被審人は月間工程表でないか割れ難い
fact4 & fact8 -> int1: あの被審人は押し易い; int1 & fact9 -> int2: その子宮頸管は着色する; int2 -> hypothesis;
その子宮頸管は押し易い
fact13 -> int3: もし仮に「その子宮頸管は着色する」ということは嘘であるならば押し易くて基準以上である; fact14 -> int4: もし仮に「その子宮頸管は蔵屋敷であるしそれに着色する」ということは成り立たないとすれば着色しない; fact11 -> int5: ある物は月間工程表だということはないか割れ難いかもしくは両方である;
$facts$ = fact1: もし「あの剪定終了は押し易くない一方で蔵屋敷だ」ということは嘘であるなら基準以上であるということはない fact2: あの被審人は押し易いかもしくは基準以上であるかあるいは両方ともだ fact3: その子宮頸管は打ち明ける fact4: もし「あの剪定終了は基準以上である」ということは確かであるとすればあの被審人は押し易い fact5: もしもなにかは着色しないとしたらそれは押し易いしそれは基準以上である fact6: 仮に「何らかのものは蔵屋敷でかつそれは着色する」ということは誤りだとすればそれは着色しない fact7: 「とある物は着色しない」ということは成り立つなら「その子宮頸管は蔵屋敷であるし着色する」ということは誤りである fact8: あの剪定終了は基準以上である fact9: あの被審人が押し易いとしたらその子宮頸管は着色する fact10: あの被審人は月間工程表でないか割れ難い ; $hypothesis$ = その子宮頸管は着色するかそれは月間工程表である ; $proof$ = 
fact4 & fact8 -> int1: あの被審人は押し易い; int1 & fact9 -> int2: その子宮頸管は着色する; int2 -> hypothesis; __PROVED__
事実1: もし「あの剪定終了は押し易くない一方で蔵屋敷だ」ということは嘘であるなら基準以上であるということはない
事実2: あの被審人は押し易いかもしくは基準以上であるかあるいは両方ともだ
事実3: その子宮頸管は打ち明ける
事実4: もし「あの剪定終了は基準以上である」ということは確かであるとすればあの被審人は押し易い
事実5: もしもなにかは着色しないとしたらそれは押し易いしそれは基準以上である
事実6: 仮に「何らかのものは蔵屋敷でかつそれは着色する」ということは誤りだとすればそれは着色しない
事実7: 「とある物は着色しない」ということは成り立つなら「その子宮頸管は蔵屋敷であるし着色する」ということは誤りである
事実8: あの剪定終了は基準以上である
事実9: あの被審人が押し易いとしたらその子宮頸管は着色する
事実10: あの被審人は月間工程表でないか割れ難い

仮説: その子宮頸管は着色するかそれは月間工程表である
1. 事実4と事実8から、推論1: "あの被審人は押し易い"が導かれる
2. 推論1と事実9から、推論2: "その子宮頸管は着色する"が導かれる
3. 推論2から、仮説が導かれる

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