あの出穂期は渡り合える
fact1: 仮に「あの配偶者特別加算額は脱出であるかあるいはそれは組合事務所であるかもしくは両方である」ということは成り立たないならばあの二十数年後は脱出だということはない fact2: 仮にあの製品戦略はコンピュータ・シミュレーションであるとするとそれは渡り合える fact3: あの出穂期は見え難くない一方で疎開する fact4: 「あの出穂期は見え難くない一方で疎開する」ということは確かだとしたらそれは渡り合える fact5: もしこの二十数年後は脱出でないとするとそれは渡り合えないかもしくはコンピュータ・シミュレーションであるかあるいは両方ともだ
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
あの出穂期は渡り合えない
$facts$ = fact1: 仮に「あの配偶者特別加算額は脱出であるかあるいはそれは組合事務所であるかもしくは両方である」ということは成り立たないならばあの二十数年後は脱出だということはない fact2: 仮にあの製品戦略はコンピュータ・シミュレーションであるとするとそれは渡り合える fact3: あの出穂期は見え難くない一方で疎開する fact4: 「あの出穂期は見え難くない一方で疎開する」ということは確かだとしたらそれは渡り合える fact5: もしこの二十数年後は脱出でないとするとそれは渡り合えないかもしくはコンピュータ・シミュレーションであるかあるいは両方ともだ ; $hypothesis$ = あの出穂期は渡り合える ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「あの配偶者特別加算額は脱出であるかあるいはそれは組合事務所であるかもしくは両方である」ということは成り立たないならばあの二十数年後は脱出だということはない
事実2: 仮にあの製品戦略はコンピュータ・シミュレーションであるとするとそれは渡り合える
事実3: あの出穂期は見え難くない一方で疎開する
事実4: 「あの出穂期は見え難くない一方で疎開する」ということは確かだとしたらそれは渡り合える
事実5: もしこの二十数年後は脱出でないとするとそれは渡り合えないかもしくはコンピュータ・シミュレーションであるかあるいは両方ともだ

仮説: あの出穂期は渡り合える
1. 事実4と事実3から、仮説が導かれる

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