「「もし仮に放牧しないとすれば仮紐であるかあるいはイメージ化するかあるいは両方ともである」ものはある」ということは真実でない
fact1: もし仮にその様はバリューであるし関係深いとするとそれは救出出来ない fact2: もし仮に何らかの物が救出出来ないとすればそれは根深いしそれに煙たい fact3: その様はバリューであるしそれに関係深い fact4: もしこの襟刳り見返しが放牧しないとしたら涼しくてそれに四百字だ fact5: 「この襟刳り見返しは涼しいしイメージ化する」ということは間違っている fact6: もし「あの法益性は享受する」ということは間違いでないとしたらその化学薬品メーカーは建立する fact7: この双子座は建立する fact8: もしも何かは建立するなら「それは涼しいしさらにイメージ化しない」ということは嘘である fact9: もしもあの雪庇は放牧すれば「この襟刳り見返しはイメージ化するということはなくてそれは四百字でない」ということは間違っている fact10: もしとあるものが珍しかないとするとそれは享受するかあるいはそれは発症し易くない fact11: もし「この襟刳り見返しはイメージ化しなくてかつ四百字だということはない」ということは成り立たないならその定石は四百字である fact12: もし「あの雪庇は発症し易くないし建立しない」ということは間違っていればこの襟刳り見返しは建立する fact13: 「あの雪庇は発症し易くないけれど建立する」ということは嘘だ fact14: もしあの法益性が発症し易くないとするとその化学薬品メーカーは建立する fact15: それは発症し易くないし建立しないという物はない fact16: もし仮にその様が煙たいかあるいはスクロールペインだということはないかどちらもであるならあの法益性は珍しかない
void -> assump1: 以下のように仮定する。この襟刳り見返しは放牧しない; fact4 & assump1 -> int1: この襟刳り見返しは涼しいししかも四百字だ; int1 -> int2: 「この襟刳り見返しは涼しい」ということは正しい; void -> assump2: 以下のように仮定する。この襟刳り見返しはイメージ化しない; int2 & assump2 -> int3: この襟刳り見返しは涼しい一方でイメージ化しない; fact15 -> int4: 「「あの雪庇は発症し易くないしそれに建立しない」ということは成り立たない」ということは成り立つ; fact12 & int4 -> int5: この襟刳り見返しは建立する; fact8 -> int6: この襟刳り見返しは建立するとすれば「それは涼しくてイメージ化しない」ということは間違いである; int5 & int6 -> int7: 「この襟刳り見返しは涼しいがイメージ化しない」ということは成り立たない; int3 & int7 -> int8: これは矛盾である; [assump2] & int8 -> int9: この襟刳り見返しはイメージ化する; int9 -> int10: この襟刳り見返しは仮紐であるかあるいはそれはイメージ化するかあるいは両方だ; [assump1] & int10 -> int11: もしこの襟刳り見返しが放牧するということはないならそれは仮紐であるかイメージ化するか両方だ; int11 -> hypothesis;
その定石は四百字だ
fact24 -> int12: あの法益性が珍しかないなら享受するかそれは発症し易くないかまたはどちらもだ; fact22 -> int13: 仮にその様が救出出来るということはないとするとそれは根深いし煙たい; fact21 & fact17 -> int14: その様は救出出来ない; int13 & int14 -> int15: その様は根深いしおまけに煙たい; int15 -> int16: その様は煙たい; int16 -> int17: その様は煙たいかまたはスクロールペインでないかもしくは両方である; fact19 & int17 -> int18: あの法益性は珍しかない; int12 & int18 -> int19: あの法益性は享受するかあるいは発症し易くないかあるいは両方ともである; int19 & fact23 & fact20 -> int20: その化学薬品メーカーは建立する; int20 -> int21: とある物は建立する;
$facts$ = fact1: もし仮にその様はバリューであるし関係深いとするとそれは救出出来ない fact2: もし仮に何らかの物が救出出来ないとすればそれは根深いしそれに煙たい fact3: その様はバリューであるしそれに関係深い fact4: もしこの襟刳り見返しが放牧しないとしたら涼しくてそれに四百字だ fact5: 「この襟刳り見返しは涼しいしイメージ化する」ということは間違っている fact6: もし「あの法益性は享受する」ということは間違いでないとしたらその化学薬品メーカーは建立する fact7: この双子座は建立する fact8: もしも何かは建立するなら「それは涼しいしさらにイメージ化しない」ということは嘘である fact9: もしもあの雪庇は放牧すれば「この襟刳り見返しはイメージ化するということはなくてそれは四百字でない」ということは間違っている fact10: もしとあるものが珍しかないとするとそれは享受するかあるいはそれは発症し易くない fact11: もし「この襟刳り見返しはイメージ化しなくてかつ四百字だということはない」ということは成り立たないならその定石は四百字である fact12: もし「あの雪庇は発症し易くないし建立しない」ということは間違っていればこの襟刳り見返しは建立する fact13: 「あの雪庇は発症し易くないけれど建立する」ということは嘘だ fact14: もしあの法益性が発症し易くないとするとその化学薬品メーカーは建立する fact15: それは発症し易くないし建立しないという物はない fact16: もし仮にその様が煙たいかあるいはスクロールペインだということはないかどちらもであるならあの法益性は珍しかない ; $hypothesis$ = 「「もし仮に放牧しないとすれば仮紐であるかあるいはイメージ化するかあるいは両方ともである」ものはある」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この襟刳り見返しは放牧しない; fact4 & assump1 -> int1: この襟刳り見返しは涼しいししかも四百字だ; int1 -> int2: 「この襟刳り見返しは涼しい」ということは正しい; void -> assump2: 以下のように仮定する。この襟刳り見返しはイメージ化しない; int2 & assump2 -> int3: この襟刳り見返しは涼しい一方でイメージ化しない; fact15 -> int4: 「「あの雪庇は発症し易くないしそれに建立しない」ということは成り立たない」ということは成り立つ; fact12 & int4 -> int5: この襟刳り見返しは建立する; fact8 -> int6: この襟刳り見返しは建立するとすれば「それは涼しくてイメージ化しない」ということは間違いである; int5 & int6 -> int7: 「この襟刳り見返しは涼しいがイメージ化しない」ということは成り立たない; int3 & int7 -> int8: これは矛盾である; [assump2] & int8 -> int9: この襟刳り見返しはイメージ化する; int9 -> int10: この襟刳り見返しは仮紐であるかあるいはそれはイメージ化するかあるいは両方だ; [assump1] & int10 -> int11: もしこの襟刳り見返しが放牧するということはないならそれは仮紐であるかイメージ化するか両方だ; int11 -> hypothesis; __DISPROVED__
事実1: もし仮にその様はバリューであるし関係深いとするとそれは救出出来ない
事実2: もし仮に何らかの物が救出出来ないとすればそれは根深いしそれに煙たい
事実3: その様はバリューであるしそれに関係深い
事実4: もしこの襟刳り見返しが放牧しないとしたら涼しくてそれに四百字だ
事実5: 「この襟刳り見返しは涼しいしイメージ化する」ということは間違っている
事実6: もし「あの法益性は享受する」ということは間違いでないとしたらその化学薬品メーカーは建立する
事実7: この双子座は建立する
事実8: もしも何かは建立するなら「それは涼しいしさらにイメージ化しない」ということは嘘である
事実9: もしもあの雪庇は放牧すれば「この襟刳り見返しはイメージ化するということはなくてそれは四百字でない」ということは間違っている
事実10: もしとあるものが珍しかないとするとそれは享受するかあるいはそれは発症し易くない
事実11: もし「この襟刳り見返しはイメージ化しなくてかつ四百字だということはない」ということは成り立たないならその定石は四百字である
事実12: もし「あの雪庇は発症し易くないし建立しない」ということは間違っていればこの襟刳り見返しは建立する
事実13: 「あの雪庇は発症し易くないけれど建立する」ということは嘘だ
事実14: もしあの法益性が発症し易くないとするとその化学薬品メーカーは建立する
事実15: それは発症し易くないし建立しないという物はない
事実16: もし仮にその様が煙たいかあるいはスクロールペインだということはないかどちらもであるならあの法益性は珍しかない

仮説: 「「もし仮に放牧しないとすれば仮紐であるかあるいはイメージ化するかあるいは両方ともである」ものはある」ということは真実でない
1. 仮定1: 以下のように仮定する。この襟刳り見返しは放牧しない
2. 事実4と仮定1から、推論1: "この襟刳り見返しは涼しいししかも四百字だ"が導かれる
3. 推論1から、推論2: "「この襟刳り見返しは涼しい」ということは正しい"が導かれる
4. 仮定2: 以下のように仮定する。この襟刳り見返しはイメージ化しない
5. 推論2と仮定2から、推論3: "この襟刳り見返しは涼しい一方でイメージ化しない"が導かれる
6. 事実15から、推論4: "「「あの雪庇は発症し易くないしそれに建立しない」ということは成り立たない」ということは成り立つ"が導かれる
7. 事実12と推論4から、推論5: "この襟刳り見返しは建立する"が導かれる
8. 事実8から、推論6: "この襟刳り見返しは建立するとすれば「それは涼しくてイメージ化しない」ということは間違いである"が導かれる
9. 推論5と推論6から、推論7: "「この襟刳り見返しは涼しいがイメージ化しない」ということは成り立たない"が導かれる
10. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
11. [仮定2]と推論8から、推論9: "この襟刳り見返しはイメージ化する"が導かれる
12. 推論9から、推論10: "この襟刳り見返しは仮紐であるかあるいはそれはイメージ化するかあるいは両方だ"が導かれる
13. [仮定1]と推論10から、推論11: "もしこの襟刳り見返しが放牧するということはないならそれは仮紐であるかイメージ化するか両方だ"が導かれる
14. 推論11から、仮説が否定される

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