あのネットオークションは押し上げない
fact1: あのネットオークションは資治通鑑でない fact2: もし何らかのものが抽象的過ぎるということはないとしたらそれは資治通鑑だしさらに空々しい fact3: 仮に「あのネットオークションは空々しい」ということは確かだとすると「それは押し上げる」ということは嘘でない fact4: 虚報は宣誓書だ fact5: もしも「あのネットオークションは資治通鑑であるということはない」ということは間違いでないとしたらちくるしその上それは虚報である fact6: 宣誓書は空々しい fact7: もしも「何かは宣誓書だし更に押し上げる」ということは成り立つということはないならそれは押し上げない
fact5 & fact1 -> int1: あのネットオークションはちくるし加えて虚報である; int1 -> int2: あのネットオークションは虚報である; fact4 -> int3: あのネットオークションは虚報であるとしたら「それは宣誓書だ」ということは成り立つ; int2 & int3 -> int4: あのネットオークションは宣誓書だ; fact6 -> int5: 仮にあのネットオークションは宣誓書であるなら「それは空々しい」ということは本当である; int4 & int5 -> int6: あのネットオークションは空々しい; int6 & fact3 -> hypothesis;
あのネットオークションは押し上げるということはない
fact8 -> int7: もし仮に「あのネットオークションは宣誓書であるしその上押し上げる」ということは成り立たないならばそれは押し上げない; fact9 -> int8: 仮にあのアウラが抽象的過ぎないとしたら資治通鑑でその上それは空々しい;
$facts$ = fact1: あのネットオークションは資治通鑑でない fact2: もし何らかのものが抽象的過ぎるということはないとしたらそれは資治通鑑だしさらに空々しい fact3: 仮に「あのネットオークションは空々しい」ということは確かだとすると「それは押し上げる」ということは嘘でない fact4: 虚報は宣誓書だ fact5: もしも「あのネットオークションは資治通鑑であるということはない」ということは間違いでないとしたらちくるしその上それは虚報である fact6: 宣誓書は空々しい fact7: もしも「何かは宣誓書だし更に押し上げる」ということは成り立つということはないならそれは押し上げない ; $hypothesis$ = あのネットオークションは押し上げない ; $proof$ = 
fact5 & fact1 -> int1: あのネットオークションはちくるし加えて虚報である; int1 -> int2: あのネットオークションは虚報である; fact4 -> int3: あのネットオークションは虚報であるとしたら「それは宣誓書だ」ということは成り立つ; int2 & int3 -> int4: あのネットオークションは宣誓書だ; fact6 -> int5: 仮にあのネットオークションは宣誓書であるなら「それは空々しい」ということは本当である; int4 & int5 -> int6: あのネットオークションは空々しい; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: あのネットオークションは資治通鑑でない
事実2: もし何らかのものが抽象的過ぎるということはないとしたらそれは資治通鑑だしさらに空々しい
事実3: 仮に「あのネットオークションは空々しい」ということは確かだとすると「それは押し上げる」ということは嘘でない
事実4: 虚報は宣誓書だ
事実5: もしも「あのネットオークションは資治通鑑であるということはない」ということは間違いでないとしたらちくるしその上それは虚報である
事実6: 宣誓書は空々しい
事実7: もしも「何かは宣誓書だし更に押し上げる」ということは成り立つということはないならそれは押し上げない

仮説: あのネットオークションは押し上げない
1. 事実5と事実1から、推論1: "あのネットオークションはちくるし加えて虚報である"が導かれる
2. 推論1から、推論2: "あのネットオークションは虚報である"が導かれる
3. 事実4から、推論3: "あのネットオークションは虚報であるとしたら「それは宣誓書だ」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "あのネットオークションは宣誓書だ"が導かれる
5. 事実6から、推論5: "仮にあのネットオークションは宣誓書であるなら「それは空々しい」ということは本当である"が導かれる
6. 推論4と推論5から、推論6: "あのネットオークションは空々しい"が導かれる
7. 推論6と事実3から、仮説が否定される

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