「「「悲しくてさらに痛め付ける」ということは成り立たない」物はある」ということは真実でない
fact1: もしこの機関車は底盤でないとしたら「あの二単語は反映され易くて優勝する」ということは偽である fact2: 「この機関車は痛め付けるしおまけに底盤だ」ということは成り立たない fact3: 「「底盤だしまた痛め付ける」ということは誤りである」物はある fact4: あの二単語は底盤だ fact5: もしこの機関車は学園長であるということはないとすると「悲しくてそれに痛め付ける」ということは間違いである fact6: あの二単語が底盤であるか上辺であるかまたは両方だとするとこの機関車は学園長でない
fact4 -> int1: あの二単語は底盤であるかもしくはそれは上辺であるかもしくは両方ともだ; int1 & fact6 -> int2: この機関車は学園長であるということはない; int2 & fact5 -> int3: 「この機関車は悲しくてかつ痛め付ける」ということは嘘である; int3 -> hypothesis;
「「反映され易いし優勝する」ということは間違いである」物はある
$facts$ = fact1: もしこの機関車は底盤でないとしたら「あの二単語は反映され易くて優勝する」ということは偽である fact2: 「この機関車は痛め付けるしおまけに底盤だ」ということは成り立たない fact3: 「「底盤だしまた痛め付ける」ということは誤りである」物はある fact4: あの二単語は底盤だ fact5: もしこの機関車は学園長であるということはないとすると「悲しくてそれに痛め付ける」ということは間違いである fact6: あの二単語が底盤であるか上辺であるかまたは両方だとするとこの機関車は学園長でない ; $hypothesis$ = 「「「悲しくてさらに痛め付ける」ということは成り立たない」物はある」ということは真実でない ; $proof$ = 
fact4 -> int1: あの二単語は底盤であるかもしくはそれは上辺であるかもしくは両方ともだ; int1 & fact6 -> int2: この機関車は学園長であるということはない; int2 & fact5 -> int3: 「この機関車は悲しくてかつ痛め付ける」ということは嘘である; int3 -> hypothesis; __DISPROVED__
事実1: もしこの機関車は底盤でないとしたら「あの二単語は反映され易くて優勝する」ということは偽である
事実2: 「この機関車は痛め付けるしおまけに底盤だ」ということは成り立たない
事実3: 「「底盤だしまた痛め付ける」ということは誤りである」物はある
事実4: あの二単語は底盤だ
事実5: もしこの機関車は学園長であるということはないとすると「悲しくてそれに痛め付ける」ということは間違いである
事実6: あの二単語が底盤であるか上辺であるかまたは両方だとするとこの機関車は学園長でない

仮説: 「「「悲しくてさらに痛め付ける」ということは成り立たない」物はある」ということは真実でない
1. 事実4から、推論1: "あの二単語は底盤であるかもしくはそれは上辺であるかもしくは両方ともだ"が導かれる
2. 推論1と事実6から、推論2: "この機関車は学園長であるということはない"が導かれる
3. 推論2と事実5から、推論3: "「この機関車は悲しくてかつ痛め付ける」ということは嘘である"が導かれる
4. 推論3から、仮説が否定される

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