その日系多国籍企業はエバンゲリオンだ
fact1: 仮に「とあるものは悼むということはなくておまけに轢過しない」ということは成り立たないならばそれは新規抗精神病薬でない fact2: もしもなにがしかのものは夫婦らしいならば「購読しなくてエバンゲリオンでない」ということは事実でない fact3: 夫婦らしくない物はエバンゲリオンでない fact4: それは程無くないしさらに一回転しないというものはない fact5: もしも「何かは程無くないしそれに一回転しない」ということは本当でないとすると夫婦らしくない fact6: 「その日系多国籍企業は程無いがしかし一回転しない」ということは確かでない fact7: 仮に「とあるものはエバンゲリオンでないけれど縺れ込む」ということは成り立たないとすればそれはエバンゲリオンである
fact4 -> int1: 「「その日系多国籍企業が程無いということはないしその上それは一回転しない」ということは偽である」ということは真実だ; fact5 -> int2: 仮に「その日系多国籍企業は程無くなくておまけに一回転しない」ということは成り立つということはないならばそれは夫婦らしくない; int1 & int2 -> int3: その日系多国籍企業は夫婦らしくない; fact3 -> int4: その日系多国籍企業が夫婦らしいということはないとするとそれはエバンゲリオンであるということはない; int3 & int4 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); fact5 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> int3: ¬{A}{aa}; fact3 -> int4: ¬{A}{aa} -> ¬{B}{aa}; int3 & int4 -> hypothesis;
「その日系多国籍企業は購読しないしさらにエバンゲリオンでない」ということは事実と異なる
fact8 -> int5: 仮にその日系多国籍企業は夫婦らしいならば「それは購読するということはなくておまけにエバンゲリオンだということはない」ということは成り立たない;
$facts$ = fact1: 仮に「とあるものは悼むということはなくておまけに轢過しない」ということは成り立たないならばそれは新規抗精神病薬でない fact2: もしもなにがしかのものは夫婦らしいならば「購読しなくてエバンゲリオンでない」ということは事実でない fact3: 夫婦らしくない物はエバンゲリオンでない fact4: それは程無くないしさらに一回転しないというものはない fact5: もしも「何かは程無くないしそれに一回転しない」ということは本当でないとすると夫婦らしくない fact6: 「その日系多国籍企業は程無いがしかし一回転しない」ということは確かでない fact7: 仮に「とあるものはエバンゲリオンでないけれど縺れ込む」ということは成り立たないとすればそれはエバンゲリオンである ; $hypothesis$ = その日系多国籍企業はエバンゲリオンだ ; $proof$ = 
fact4 -> int1: 「「その日系多国籍企業が程無いということはないしその上それは一回転しない」ということは偽である」ということは真実だ; fact5 -> int2: 仮に「その日系多国籍企業は程無くなくておまけに一回転しない」ということは成り立つということはないならばそれは夫婦らしくない; int1 & int2 -> int3: その日系多国籍企業は夫婦らしくない; fact3 -> int4: その日系多国籍企業が夫婦らしいということはないとするとそれはエバンゲリオンであるということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「とあるものは悼むということはなくておまけに轢過しない」ということは成り立たないならばそれは新規抗精神病薬でない
事実2: もしもなにがしかのものは夫婦らしいならば「購読しなくてエバンゲリオンでない」ということは事実でない
事実3: 夫婦らしくない物はエバンゲリオンでない
事実4: それは程無くないしさらに一回転しないというものはない
事実5: もしも「何かは程無くないしそれに一回転しない」ということは本当でないとすると夫婦らしくない
事実6: 「その日系多国籍企業は程無いがしかし一回転しない」ということは確かでない
事実7: 仮に「とあるものはエバンゲリオンでないけれど縺れ込む」ということは成り立たないとすればそれはエバンゲリオンである

仮説: その日系多国籍企業はエバンゲリオンだ
1. 事実4から、推論1: "「「その日系多国籍企業が程無いということはないしその上それは一回転しない」ということは偽である」ということは真実だ"が導かれる
2. 事実5から、推論2: "仮に「その日系多国籍企業は程無くなくておまけに一回転しない」ということは成り立つということはないならばそれは夫婦らしくない"が導かれる
3. 推論1と推論2から、推論3: "その日系多国籍企業は夫婦らしくない"が導かれる
4. 事実3から、推論4: "その日系多国籍企業が夫婦らしいということはないとするとそれはエバンゲリオンであるということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。