「この御節介は行き難い」ということは確かである
fact1: 仮にあのルートディレクトリが見付け易いとするとその事務所は慰め合わないがしかし短命群だ fact2: もしも何かは装置すれば「藩制期である」ということは成り立つ fact3: もしもこの御節介が曇り無しないとしたらそれは輝くということはないし行き難いということはない fact4: もし「この瑞穂グループは水没するしおまけに訝しい」ということは間違っているとしたら「この紫雲は水没しない」ということは確かである fact5: もしもなにかは水没しないとしたら「乾き易くなくてそれにメーカー同士でない」ということは成り立つということはない fact6: この紫雲が装置するとしたらこの国立病院は装置する fact7: 「なんらかの物は輝くけど生え易くない」ということは成り立つということはないとするとそれは輝かない fact8: もし仮にこの国立病院が生え易くないならこの独立行政法人は行き難い fact9: 仮にこの御節介が振り続けないとすれば天使らしくない fact10: もし仮にその事務所が慰め合わないがしかし短命群だとするとこの同調は蘭学でない fact11: 乾き易い物は装置する fact12: この御節介は曇り無しない fact13: この御節介は悪しない fact14: すべての物は見付け易い fact15: その御産小屋は行き難くない fact16: もしも「なにがしかのものは乾き易くなくてメーカー同士でない」ということは成り立たないとしたら「乾き易い」ということは真実である fact17: この御節介は輝かない fact18: その絞め技は曇り無しない fact19: もし仮にこの同調は蘭学でないとすれば「この瑞穂グループは水没するし更に訝しい」ということは成り立つということはない fact20: 藩制期は少年部隊だが生え易いということはない fact21: もしも「なんらかの物は行き難いということはないし曇り無しない」ということは間違いならそれは行き難い
fact3 & fact12 -> int1: この御節介は輝くということはなくて更にそれは行き難くない; int1 -> hypothesis;
この御節介は行き難い
fact26 -> int2: 「この御節介は行き難いということはなくて曇り無しということはない」ということは事実と異なるならそれは行き難い; fact32 -> int3: 仮にこの国立病院は藩制期だとしたら「少年部隊だがしかし生え易くない」ということは事実である; fact25 -> int4: 仮にこの国立病院が装置するとするとそれは藩制期だ; fact23 -> int5: もしも「この紫雲は乾き易い」ということは成り立つとすると装置する; fact22 -> int6: 仮に「この紫雲は乾き易くなくてメーカー同士でない」ということは偽だとすると乾き易い; fact24 -> int7: もしこの紫雲は水没するということはないならば「それは乾き易くなくてそれはメーカー同士でない」ということは間違いだ; fact29 -> int8: あのルートディレクトリは見付け易い; fact34 & int8 -> int9: その事務所は慰め合わないが短命群だ; fact31 & int9 -> int10: この同調は蘭学でない; fact33 & int10 -> int11: 「この瑞穂グループは水没するし訝しい」ということは成り立たない; fact30 & int11 -> int12: 「この紫雲は水没しない」ということは成り立つ; int7 & int12 -> int13: 「「この紫雲は乾き易くないしメーカー同士であるということはない」ということは成り立たない」ということは成り立つ; int6 & int13 -> int14: この紫雲は乾き易い; int5 & int14 -> int15: この紫雲は装置する; fact28 & int15 -> int16: この国立病院は装置する; int4 & int16 -> int17: この国立病院は藩制期である; int3 & int17 -> int18: この国立病院は少年部隊だけど生え易くない; int18 -> int19: この国立病院は生え易くない; fact27 & int19 -> int20: この独立行政法人は行き難い; int20 -> int21: 行き難い物はある;
$facts$ = fact1: 仮にあのルートディレクトリが見付け易いとするとその事務所は慰め合わないがしかし短命群だ fact2: もしも何かは装置すれば「藩制期である」ということは成り立つ fact3: もしもこの御節介が曇り無しないとしたらそれは輝くということはないし行き難いということはない fact4: もし「この瑞穂グループは水没するしおまけに訝しい」ということは間違っているとしたら「この紫雲は水没しない」ということは確かである fact5: もしもなにかは水没しないとしたら「乾き易くなくてそれにメーカー同士でない」ということは成り立つということはない fact6: この紫雲が装置するとしたらこの国立病院は装置する fact7: 「なんらかの物は輝くけど生え易くない」ということは成り立つということはないとするとそれは輝かない fact8: もし仮にこの国立病院が生え易くないならこの独立行政法人は行き難い fact9: 仮にこの御節介が振り続けないとすれば天使らしくない fact10: もし仮にその事務所が慰め合わないがしかし短命群だとするとこの同調は蘭学でない fact11: 乾き易い物は装置する fact12: この御節介は曇り無しない fact13: この御節介は悪しない fact14: すべての物は見付け易い fact15: その御産小屋は行き難くない fact16: もしも「なにがしかのものは乾き易くなくてメーカー同士でない」ということは成り立たないとしたら「乾き易い」ということは真実である fact17: この御節介は輝かない fact18: その絞め技は曇り無しない fact19: もし仮にこの同調は蘭学でないとすれば「この瑞穂グループは水没するし更に訝しい」ということは成り立つということはない fact20: 藩制期は少年部隊だが生え易いということはない fact21: もしも「なんらかの物は行き難いということはないし曇り無しない」ということは間違いならそれは行き難い ; $hypothesis$ = 「この御節介は行き難い」ということは確かである ; $proof$ = 
fact3 & fact12 -> int1: この御節介は輝くということはなくて更にそれは行き難くない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあのルートディレクトリが見付け易いとするとその事務所は慰め合わないがしかし短命群だ
事実2: もしも何かは装置すれば「藩制期である」ということは成り立つ
事実3: もしもこの御節介が曇り無しないとしたらそれは輝くということはないし行き難いということはない
事実4: もし「この瑞穂グループは水没するしおまけに訝しい」ということは間違っているとしたら「この紫雲は水没しない」ということは確かである
事実5: もしもなにかは水没しないとしたら「乾き易くなくてそれにメーカー同士でない」ということは成り立つということはない
事実6: この紫雲が装置するとしたらこの国立病院は装置する
事実7: 「なんらかの物は輝くけど生え易くない」ということは成り立つということはないとするとそれは輝かない
事実8: もし仮にこの国立病院が生え易くないならこの独立行政法人は行き難い
事実9: 仮にこの御節介が振り続けないとすれば天使らしくない
事実10: もし仮にその事務所が慰め合わないがしかし短命群だとするとこの同調は蘭学でない
事実11: 乾き易い物は装置する
事実12: この御節介は曇り無しない
事実13: この御節介は悪しない
事実14: すべての物は見付け易い
事実15: その御産小屋は行き難くない
事実16: もしも「なにがしかのものは乾き易くなくてメーカー同士でない」ということは成り立たないとしたら「乾き易い」ということは真実である
事実17: この御節介は輝かない
事実18: その絞め技は曇り無しない
事実19: もし仮にこの同調は蘭学でないとすれば「この瑞穂グループは水没するし更に訝しい」ということは成り立つということはない
事実20: 藩制期は少年部隊だが生え易いということはない
事実21: もしも「なんらかの物は行き難いということはないし曇り無しない」ということは間違いならそれは行き難い

仮説: 「この御節介は行き難い」ということは確かである
1. 事実3と事実12から、推論1: "この御節介は輝くということはなくて更にそれは行き難くない"が導かれる
2. 推論1から、仮説が否定される

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