「「自己自身だとすると先送りしない」物はある」ということは誤りだ
fact1: 「自己自身は先送りしない」ということは成り立つ fact2: 「もしもスウィートだとすると百楽荘であるということはない」ものはある fact3: もし何かは自己自身ならばそれは先送りする fact4: 「もし裁可ならば足切りだということはない」物はある fact5: もし仮に「あの戦争放棄は同化作用だ」ということは真実だとしたら自己自身でない fact6: もしも何かは開き易いとしたらそれは斎かない fact7: 「もしも四十字以内であるとすれば自己言及しない」物はある fact8: もしもあの戦争放棄は自己自身であるとすれば先送りする fact9: 「もし自己自身だとすれば先送りする」ものはある fact10: もし仮にあの戦争放棄が楽曲だとするとそれは甘ったるくない fact11: 仮にあの戦争放棄は自己自身であるなら美味しいということはない fact12: 「もし仮に挟まれば貧しない」ものはある fact13: 仮になんらかの物が配当出来るなら抜け替わらない
fact1 -> int1: あの戦争放棄が自己自身ならそれは先送りするということはない; int1 -> hypothesis;
「仮に配当出来るとすれば抜け替わらない」物はある
fact14 -> int2: もしもこのグラム陰性菌が配当出来るとしたらそれは抜け替わらない; int2 -> hypothesis;
$facts$ = fact1: 「自己自身は先送りしない」ということは成り立つ fact2: 「もしもスウィートだとすると百楽荘であるということはない」ものはある fact3: もし何かは自己自身ならばそれは先送りする fact4: 「もし裁可ならば足切りだということはない」物はある fact5: もし仮に「あの戦争放棄は同化作用だ」ということは真実だとしたら自己自身でない fact6: もしも何かは開き易いとしたらそれは斎かない fact7: 「もしも四十字以内であるとすれば自己言及しない」物はある fact8: もしもあの戦争放棄は自己自身であるとすれば先送りする fact9: 「もし自己自身だとすれば先送りする」ものはある fact10: もし仮にあの戦争放棄が楽曲だとするとそれは甘ったるくない fact11: 仮にあの戦争放棄は自己自身であるなら美味しいということはない fact12: 「もし仮に挟まれば貧しない」ものはある fact13: 仮になんらかの物が配当出来るなら抜け替わらない ; $hypothesis$ = 「「自己自身だとすると先送りしない」物はある」ということは誤りだ ; $proof$ = 
fact1 -> int1: あの戦争放棄が自己自身ならそれは先送りするということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「自己自身は先送りしない」ということは成り立つ
事実2: 「もしもスウィートだとすると百楽荘であるということはない」ものはある
事実3: もし何かは自己自身ならばそれは先送りする
事実4: 「もし裁可ならば足切りだということはない」物はある
事実5: もし仮に「あの戦争放棄は同化作用だ」ということは真実だとしたら自己自身でない
事実6: もしも何かは開き易いとしたらそれは斎かない
事実7: 「もしも四十字以内であるとすれば自己言及しない」物はある
事実8: もしもあの戦争放棄は自己自身であるとすれば先送りする
事実9: 「もし自己自身だとすれば先送りする」ものはある
事実10: もし仮にあの戦争放棄が楽曲だとするとそれは甘ったるくない
事実11: 仮にあの戦争放棄は自己自身であるなら美味しいということはない
事実12: 「もし仮に挟まれば貧しない」ものはある
事実13: 仮になんらかの物が配当出来るなら抜け替わらない

仮説: 「「自己自身だとすると先送りしない」物はある」ということは誤りだ
1. 事実1から、推論1: "あの戦争放棄が自己自身ならそれは先送りするということはない"が導かれる
2. 推論1から、仮説が否定される

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