「この銭貨は指導下だ一方で平積みするということはない」ということは間違いだ
fact1: その引き金は縮図だ fact2: 「このグラスウールは指導下でないがしかし平積みする」ということは成り立たない fact3: 「あの現代文は疎くてそれにスコープである」ということは成り立たない fact4: このグラスウールが惜しむし指導下であるとするとあの現代文は疎くない fact5: もし仮にこのグラスウールが指導下でないとするとこの銭貨は平積みしない fact6: この納所がくぐもるとしたらあの現代文は縮図だ fact7: この納所は指導下だがそれはくぐもらない fact8: もしもこのグラスウールが指導下でないならばこの銭貨は指導下だけれどそれは平積みしない fact9: 「この銭貨は平積みしない」ということは誤りでない fact10: 「この納所はくぐもらないがスコープである」ということは成り立たないとするとあの現代文は縮図である fact11: あの現代文は惜しむ fact12: もしもあるものが指導下だとすると縮図である fact13: 「この納所はくぐもらないがスコープだ」ということは嘘だ fact14: もしも「この納所はスコープでない一方で平積みする」ということは成り立たないとするとこの銭貨はくぐもる fact15: このグラスウールはスコープだ fact16: このグラスウールは惜しむ fact17: 「この銭貨は惜しむということはないが疎い」ということは間違いならば「このグラスウールは指導下である」ということは確かだ fact18: とある物は惜しむとしたら「それは指導下だけど平積みしない」ということは成り立たない fact19: もし「この銭貨はくぐもる」ということは正しいとしたらこの納所は平積みする fact20: 「この銭貨は縮図だし加えて出来難い」ということは間違いである fact21: 仮になんらかの物は縮図だとしたら「疎い」ということは確かだ fact22: この肉根は惜しむ fact23: とあるものが伸び伸びすればそれはおっかない
void -> assump1: 以下のように仮定する。このグラスウールは指導下である; fact16 & assump1 -> int1: このグラスウールは惜しむししかもそれは指導下である; int1 & fact4 -> int2: あの現代文は疎くない; fact21 -> int3: もしも「あの現代文は縮図である」ということは成り立てば疎い; fact10 & fact13 -> int4: あの現代文は縮図である; int3 & int4 -> int5: あの現代文は疎い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このグラスウールは指導下でない」ということは真実だ; int7 & fact8 -> hypothesis;
「この銭貨は指導下である一方で平積みするということはない」ということは成り立たない
fact24 -> int8: もしもこの銭貨は惜しむとしたら「それは指導下である一方で平積みしない」ということは成り立たない;
$facts$ = fact1: その引き金は縮図だ fact2: 「このグラスウールは指導下でないがしかし平積みする」ということは成り立たない fact3: 「あの現代文は疎くてそれにスコープである」ということは成り立たない fact4: このグラスウールが惜しむし指導下であるとするとあの現代文は疎くない fact5: もし仮にこのグラスウールが指導下でないとするとこの銭貨は平積みしない fact6: この納所がくぐもるとしたらあの現代文は縮図だ fact7: この納所は指導下だがそれはくぐもらない fact8: もしもこのグラスウールが指導下でないならばこの銭貨は指導下だけれどそれは平積みしない fact9: 「この銭貨は平積みしない」ということは誤りでない fact10: 「この納所はくぐもらないがスコープである」ということは成り立たないとするとあの現代文は縮図である fact11: あの現代文は惜しむ fact12: もしもあるものが指導下だとすると縮図である fact13: 「この納所はくぐもらないがスコープだ」ということは嘘だ fact14: もしも「この納所はスコープでない一方で平積みする」ということは成り立たないとするとこの銭貨はくぐもる fact15: このグラスウールはスコープだ fact16: このグラスウールは惜しむ fact17: 「この銭貨は惜しむということはないが疎い」ということは間違いならば「このグラスウールは指導下である」ということは確かだ fact18: とある物は惜しむとしたら「それは指導下だけど平積みしない」ということは成り立たない fact19: もし「この銭貨はくぐもる」ということは正しいとしたらこの納所は平積みする fact20: 「この銭貨は縮図だし加えて出来難い」ということは間違いである fact21: 仮になんらかの物は縮図だとしたら「疎い」ということは確かだ fact22: この肉根は惜しむ fact23: とあるものが伸び伸びすればそれはおっかない ; $hypothesis$ = 「この銭貨は指導下だ一方で平積みするということはない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。このグラスウールは指導下である; fact16 & assump1 -> int1: このグラスウールは惜しむししかもそれは指導下である; int1 & fact4 -> int2: あの現代文は疎くない; fact21 -> int3: もしも「あの現代文は縮図である」ということは成り立てば疎い; fact10 & fact13 -> int4: あの現代文は縮図である; int3 & int4 -> int5: あの現代文は疎い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このグラスウールは指導下でない」ということは真実だ; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: その引き金は縮図だ
事実2: 「このグラスウールは指導下でないがしかし平積みする」ということは成り立たない
事実3: 「あの現代文は疎くてそれにスコープである」ということは成り立たない
事実4: このグラスウールが惜しむし指導下であるとするとあの現代文は疎くない
事実5: もし仮にこのグラスウールが指導下でないとするとこの銭貨は平積みしない
事実6: この納所がくぐもるとしたらあの現代文は縮図だ
事実7: この納所は指導下だがそれはくぐもらない
事実8: もしもこのグラスウールが指導下でないならばこの銭貨は指導下だけれどそれは平積みしない
事実9: 「この銭貨は平積みしない」ということは誤りでない
事実10: 「この納所はくぐもらないがスコープである」ということは成り立たないとするとあの現代文は縮図である
事実11: あの現代文は惜しむ
事実12: もしもあるものが指導下だとすると縮図である
事実13: 「この納所はくぐもらないがスコープだ」ということは嘘だ
事実14: もしも「この納所はスコープでない一方で平積みする」ということは成り立たないとするとこの銭貨はくぐもる
事実15: このグラスウールはスコープだ
事実16: このグラスウールは惜しむ
事実17: 「この銭貨は惜しむということはないが疎い」ということは間違いならば「このグラスウールは指導下である」ということは確かだ
事実18: とある物は惜しむとしたら「それは指導下だけど平積みしない」ということは成り立たない
事実19: もし「この銭貨はくぐもる」ということは正しいとしたらこの納所は平積みする
事実20: 「この銭貨は縮図だし加えて出来難い」ということは間違いである
事実21: 仮になんらかの物は縮図だとしたら「疎い」ということは確かだ
事実22: この肉根は惜しむ
事実23: とあるものが伸び伸びすればそれはおっかない

仮説: 「この銭貨は指導下だ一方で平積みするということはない」ということは間違いだ
1. 仮定1: 以下のように仮定する。このグラスウールは指導下である
2. 事実16と仮定1から、推論1: "このグラスウールは惜しむししかもそれは指導下である"が導かれる
3. 推論1と事実4から、推論2: "あの現代文は疎くない"が導かれる
4. 事実21から、推論3: "もしも「あの現代文は縮図である」ということは成り立てば疎い"が導かれる
5. 事実10と事実13から、推論4: "あの現代文は縮図である"が導かれる
6. 推論3と推論4から、推論5: "あの現代文は疎い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「このグラスウールは指導下でない」ということは真実だ"が導かれる
9. 推論7と事実8から、仮説が否定される

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