その大村基地は取り揃えない
fact1: もしあのプレゼンが他製品でないかもしくはそれは改竄しないかもしくはどちらもであるとするとセッションデータでない fact2: もしもあのプレゼンがラボであるかまたはそれは選択し易いか両方ともであるとすれば「その大村基地は取り揃えない」ということは事実だ fact3: あのプレゼンがラボだとすればあの大村基地は取り揃えない fact4: もしも何かはセッションデータだということはないならば選択し易いということはないがしかしあたふたする fact5: 仮にあのプレゼンは選択し易くないなら「その大村基地は取り揃えるしそれにラボだ」ということは真実だ fact6: あのプレゼンは選択し易い
fact6 -> int1: あのプレゼンはラボであるかまたは選択し易い; int1 & fact2 -> hypothesis;
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis;
その大村基地は取り揃える
fact7 -> int2: もしも「あのプレゼンはセッションデータでない」ということは事実であるなら選択し易くないけれどあたふたする;
$facts$ = fact1: もしあのプレゼンが他製品でないかもしくはそれは改竄しないかもしくはどちらもであるとするとセッションデータでない fact2: もしもあのプレゼンがラボであるかまたはそれは選択し易いか両方ともであるとすれば「その大村基地は取り揃えない」ということは事実だ fact3: あのプレゼンがラボだとすればあの大村基地は取り揃えない fact4: もしも何かはセッションデータだということはないならば選択し易いということはないがしかしあたふたする fact5: 仮にあのプレゼンは選択し易くないなら「その大村基地は取り揃えるしそれにラボだ」ということは真実だ fact6: あのプレゼンは選択し易い ; $hypothesis$ = その大村基地は取り揃えない ; $proof$ = 
fact6 -> int1: あのプレゼンはラボであるかまたは選択し易い; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしあのプレゼンが他製品でないかもしくはそれは改竄しないかもしくはどちらもであるとするとセッションデータでない
事実2: もしもあのプレゼンがラボであるかまたはそれは選択し易いか両方ともであるとすれば「その大村基地は取り揃えない」ということは事実だ
事実3: あのプレゼンがラボだとすればあの大村基地は取り揃えない
事実4: もしも何かはセッションデータだということはないならば選択し易いということはないがしかしあたふたする
事実5: 仮にあのプレゼンは選択し易くないなら「その大村基地は取り揃えるしそれにラボだ」ということは真実だ
事実6: あのプレゼンは選択し易い

仮説: その大村基地は取り揃えない
1. 事実6から、推論1: "あのプレゼンはラボであるかまたは選択し易い"が導かれる
2. 推論1と事実2から、仮説が導かれる

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