あの汎用コンピュータは太平洋戦線でない
fact1: あの汎用コンピュータは飽きっぽくない fact2: 仮にあの汎用コンピュータが飽きっぽいということはないとしたらそれは都銀再編だけど小憎らしくない fact3: もし都銀再編が小憎らしくないなら太平洋戦線であるということはない fact4: 「もしもあの汎用コンピュータが都銀再編であるしそれに小憎らしいとしたらあの汎用コンピュータは太平洋戦線でない」ということは成り立つ fact5: あの汎用コンピュータは複合化するけど味気無いということはない fact6: この捨て台詞は太平洋戦線でない
fact3 -> int1: もし仮にあの汎用コンピュータは都銀再編であるけれど小憎らしくないとしたら太平洋戦線でない; fact2 & fact1 -> int2: あの汎用コンピュータは都銀再編である一方で小憎らしいということはない; int1 & int2 -> hypothesis;
$facts$ = fact1: あの汎用コンピュータは飽きっぽくない fact2: 仮にあの汎用コンピュータが飽きっぽいということはないとしたらそれは都銀再編だけど小憎らしくない fact3: もし都銀再編が小憎らしくないなら太平洋戦線であるということはない fact4: 「もしもあの汎用コンピュータが都銀再編であるしそれに小憎らしいとしたらあの汎用コンピュータは太平洋戦線でない」ということは成り立つ fact5: あの汎用コンピュータは複合化するけど味気無いということはない fact6: この捨て台詞は太平洋戦線でない ; $hypothesis$ = あの汎用コンピュータは太平洋戦線でない ; $proof$ = 
fact3 -> int1: もし仮にあの汎用コンピュータは都銀再編であるけれど小憎らしくないとしたら太平洋戦線でない; fact2 & fact1 -> int2: あの汎用コンピュータは都銀再編である一方で小憎らしいということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの汎用コンピュータは飽きっぽくない
事実2: 仮にあの汎用コンピュータが飽きっぽいということはないとしたらそれは都銀再編だけど小憎らしくない
事実3: もし都銀再編が小憎らしくないなら太平洋戦線であるということはない
事実4: 「もしもあの汎用コンピュータが都銀再編であるしそれに小憎らしいとしたらあの汎用コンピュータは太平洋戦線でない」ということは成り立つ
事実5: あの汎用コンピュータは複合化するけど味気無いということはない
事実6: この捨て台詞は太平洋戦線でない

仮説: あの汎用コンピュータは太平洋戦線でない
1. 事実3から、推論1: "もし仮にあの汎用コンピュータは都銀再編であるけれど小憎らしくないとしたら太平洋戦線でない"が導かれる
2. 事実2と事実1から、推論2: "あの汎用コンピュータは都銀再編である一方で小憎らしいということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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