その急須は恐ろしい
fact1: もし仮に「その物流効率は盗めないけど見慣れる」ということは嘘だとすれば苦しない fact2: その急須は日本らしくないし加えて標準搭載するということはない fact3: その急須は標準搭載しないとしたら「それは盗めないけれど読ます」ということは成り立たない fact4: 「その急須は読ますし間断無い」ということは嘘である fact5: もしも「あの近世編は水平的公平である」ということは事実であるとすると明るくない fact6: もしもこの御弟子が標準搭載しないとするとその急須は恐ろしいしそれに日本らしい fact7: 仮に「その急須は盗めるということはないけれど読ます」ということは間違いだとしたらそれは恐ろしくない
fact2 -> int1: その急須は標準搭載しない; int1 & fact3 -> int2: 「その急須は盗めないがしかし読ます」ということは嘘である; int2 & fact7 -> hypothesis;
fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬(¬{C}{a} & {D}{a}); int2 & fact7 -> hypothesis;
その急須は恐ろしい
$facts$ = fact1: もし仮に「その物流効率は盗めないけど見慣れる」ということは嘘だとすれば苦しない fact2: その急須は日本らしくないし加えて標準搭載するということはない fact3: その急須は標準搭載しないとしたら「それは盗めないけれど読ます」ということは成り立たない fact4: 「その急須は読ますし間断無い」ということは嘘である fact5: もしも「あの近世編は水平的公平である」ということは事実であるとすると明るくない fact6: もしもこの御弟子が標準搭載しないとするとその急須は恐ろしいしそれに日本らしい fact7: 仮に「その急須は盗めるということはないけれど読ます」ということは間違いだとしたらそれは恐ろしくない ; $hypothesis$ = その急須は恐ろしい ; $proof$ = 
fact2 -> int1: その急須は標準搭載しない; int1 & fact3 -> int2: 「その急須は盗めないがしかし読ます」ということは嘘である; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「その物流効率は盗めないけど見慣れる」ということは嘘だとすれば苦しない
事実2: その急須は日本らしくないし加えて標準搭載するということはない
事実3: その急須は標準搭載しないとしたら「それは盗めないけれど読ます」ということは成り立たない
事実4: 「その急須は読ますし間断無い」ということは嘘である
事実5: もしも「あの近世編は水平的公平である」ということは事実であるとすると明るくない
事実6: もしもこの御弟子が標準搭載しないとするとその急須は恐ろしいしそれに日本らしい
事実7: 仮に「その急須は盗めるということはないけれど読ます」ということは間違いだとしたらそれは恐ろしくない

仮説: その急須は恐ろしい
1. 事実2から、推論1: "その急須は標準搭載しない"が導かれる
2. 推論1と事実3から、推論2: "「その急須は盗めないがしかし読ます」ということは嘘である"が導かれる
3. 推論2と事実7から、仮説が否定される

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