「その遠出は接客用語でない」ということは真実だ
fact1: この最低レベルは関数Ｆでない fact2: 広告社は接客用語だ fact3: この最低レベルは混ぜ合わさない fact4: もしなにがしかのものがおっそろしないならばそれは願うし大きい fact5: もしもその遠出は関数Ｆでないとすれば「この最低レベルは混ぜ合わすということはなくてしかも接客用語でない」ということは間違いだ fact6: 仮にこの最低レベルは関数Ｆだということはないなら「その遠出は広告社でないしさらに混ぜ合わさない」ということは成り立つということはない fact7: 仮に「ある物は広告社であるということはなくてまた混ぜ合わさない」ということは成り立たないとしたらそれは接客用語である
fact7 -> int1: もし仮に「その遠出は広告社でなくて混ぜ合わさない」ということは間違いであるとしたらそれは接客用語である; fact6 & fact1 -> int2: 「その遠出は広告社であるということはないしさらに混ぜ合わさない」ということは成り立たない; int1 & int2 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact6 & fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
この都市建設は混ぜ合わす
fact8 -> int3: もし仮にこの科学者がおっそろしないならばそれは願うし大きい;
$facts$ = fact1: この最低レベルは関数Ｆでない fact2: 広告社は接客用語だ fact3: この最低レベルは混ぜ合わさない fact4: もしなにがしかのものがおっそろしないならばそれは願うし大きい fact5: もしもその遠出は関数Ｆでないとすれば「この最低レベルは混ぜ合わすということはなくてしかも接客用語でない」ということは間違いだ fact6: 仮にこの最低レベルは関数Ｆだということはないなら「その遠出は広告社でないしさらに混ぜ合わさない」ということは成り立つということはない fact7: 仮に「ある物は広告社であるということはなくてまた混ぜ合わさない」ということは成り立たないとしたらそれは接客用語である ; $hypothesis$ = 「その遠出は接客用語でない」ということは真実だ ; $proof$ = 
fact7 -> int1: もし仮に「その遠出は広告社でなくて混ぜ合わさない」ということは間違いであるとしたらそれは接客用語である; fact6 & fact1 -> int2: 「その遠出は広告社であるということはないしさらに混ぜ合わさない」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この最低レベルは関数Ｆでない
事実2: 広告社は接客用語だ
事実3: この最低レベルは混ぜ合わさない
事実4: もしなにがしかのものがおっそろしないならばそれは願うし大きい
事実5: もしもその遠出は関数Ｆでないとすれば「この最低レベルは混ぜ合わすということはなくてしかも接客用語でない」ということは間違いだ
事実6: 仮にこの最低レベルは関数Ｆだということはないなら「その遠出は広告社でないしさらに混ぜ合わさない」ということは成り立つということはない
事実7: 仮に「ある物は広告社であるということはなくてまた混ぜ合わさない」ということは成り立たないとしたらそれは接客用語である

仮説: 「その遠出は接客用語でない」ということは真実だ
1. 事実7から、推論1: "もし仮に「その遠出は広告社でなくて混ぜ合わさない」ということは間違いであるとしたらそれは接客用語である"が導かれる
2. 事実6と事実1から、推論2: "「その遠出は広告社であるということはないしさらに混ぜ合わさない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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