そのプロジェクトファイルは共通鍵でない
fact1: もしこの季語が振動音であるしそれに太しならばそのプロジェクトファイルは共通鍵であるということはない fact2: この季語はガッシュ達だ fact3: そのルピナスは育ち難くてそれに危ない fact4: もしもこの季語がガッシュ達だとすれば振動音だ fact5: この季語は太し
fact4 & fact2 -> int1: この季語は振動音だ; int1 & fact5 -> int2: 「この季語は振動音であるし太し」ということは本当である; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしこの季語が振動音であるしそれに太しならばそのプロジェクトファイルは共通鍵であるということはない fact2: この季語はガッシュ達だ fact3: そのルピナスは育ち難くてそれに危ない fact4: もしもこの季語がガッシュ達だとすれば振動音だ fact5: この季語は太し ; $hypothesis$ = そのプロジェクトファイルは共通鍵でない ; $proof$ = 
fact4 & fact2 -> int1: この季語は振動音だ; int1 & fact5 -> int2: 「この季語は振動音であるし太し」ということは本当である; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしこの季語が振動音であるしそれに太しならばそのプロジェクトファイルは共通鍵であるということはない
事実2: この季語はガッシュ達だ
事実3: そのルピナスは育ち難くてそれに危ない
事実4: もしもこの季語がガッシュ達だとすれば振動音だ
事実5: この季語は太し

仮説: そのプロジェクトファイルは共通鍵でない
1. 事実4と事実2から、推論1: "この季語は振動音だ"が導かれる
2. 推論1と事実5から、推論2: "「この季語は振動音であるし太し」ということは本当である"が導かれる
3. 推論2と事実1から、仮説が導かれる

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