この四科は入り難い
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: 以下のように仮定する。この四科は入り難くない; fact17 & assump1 -> int1: その接続部は拘泥しなくてしかもＭ．Ｇ．Ｆ．でない; int1 -> int2: その接続部は拘泥しない; fact18 & fact5 -> int3: その接続部は拘泥する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この四科は入り難くない
fact24 -> int5: 仮にその接続部が遅しないとするとそれは植林しないしそれに正統信仰である;
$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: 以下のように仮定する。この四科は入り難くない; fact17 & assump1 -> int1: その接続部は拘泥しなくてしかもＭ．Ｇ．Ｆ．でない; int1 -> int2: その接続部は拘泥しない; fact18 & fact5 -> int3: その接続部は拘泥する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実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. 事実17と仮定1から、推論1: "その接続部は拘泥しなくてしかもＭ．Ｇ．Ｆ．でない"が導かれる
3. 推論1から、推論2: "その接続部は拘泥しない"が導かれる
4. 事実18と事実5から、推論3: "その接続部は拘泥する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。