もしもこの人権文化部は動かし難いとすれば「その兼好法師は暗い」ということは事実だ
fact1: この人権文化部は試しである fact2: もし仮に「何かは分かり辛くないが丸っこい」ということは成り立たないならそれは主要症状でない fact3: 「この民間団体は暗い」ということは本当である fact4: もしもこの薄地が目的合理性でない一方でそれが承認するとするとこの御値段は少年鑑別所である fact5: この人権文化部は暗い fact6: もしこの速度低下は試しでないなら「齎し易くないし嬉し過ぎる」ということは偽である fact7: もしも「何かは主要症状だ一方でそれは動かし難くない」ということは偽であるとすればそれは暗い fact8: 清しものは目的合理性でないけど承認する fact9: もし仮にとある物が少年鑑別所ならば分かり辛い fact10: この人権文化部は好まし fact11: もしもこの人権文化部が主要症状ならばその兼好法師は暗い fact12: もしもこの人権文化部は動かし難いとすると「主要症状だ」ということは確かである fact13: この人権文化部は妊娠する fact14: 仮に「「その余暇社会は分かり辛くないものであってかつ丸っこい」ということは嘘である」ということは確かであるならば丸っこくない fact15: もし仮にこの御値段は少年鑑別所だとすれば「その兼好法師は分かり辛くないが丸っこい」ということは間違いだ fact16: あのメロディーは動かし難い fact17: あのランドセルは主要症状である fact18: 仮にその兼好法師が主要症状でないとしたらこの人権文化部は動かし難いし加えて暗い fact19: もしなんらかの物は丸っこくないとしたら「主要症状であるがしかし動かし難くない」ということは誤っている fact20: もしもこの人権文化部が暗いならその兼好法師は主要症状である fact21: その兼好法師は主要症状だ fact22: 仮にこの人権文化部が暗いとすればあのファリサイ派は暗い
void -> assump1: 以下のように仮定する。この人権文化部は動かし難い; fact12 & assump1 -> int1: この人権文化部は主要症状だ; int1 & fact11 -> int2: その兼好法師は暗い; [assump1] & int2 -> hypothesis;
そのファリサイ派は暗い
fact29 -> int3: もし仮に「その兼好法師は分かり辛くないがしかし丸っこい」ということは偽だとしたら主要症状でない; fact25 -> int4: 仮に「この薄地は清し」ということは事実であるとすると目的合理性であるということはなくてそれにそれは承認する;
$facts$ = fact1: この人権文化部は試しである fact2: もし仮に「何かは分かり辛くないが丸っこい」ということは成り立たないならそれは主要症状でない fact3: 「この民間団体は暗い」ということは本当である fact4: もしもこの薄地が目的合理性でない一方でそれが承認するとするとこの御値段は少年鑑別所である fact5: この人権文化部は暗い fact6: もしこの速度低下は試しでないなら「齎し易くないし嬉し過ぎる」ということは偽である fact7: もしも「何かは主要症状だ一方でそれは動かし難くない」ということは偽であるとすればそれは暗い fact8: 清しものは目的合理性でないけど承認する fact9: もし仮にとある物が少年鑑別所ならば分かり辛い fact10: この人権文化部は好まし fact11: もしもこの人権文化部が主要症状ならばその兼好法師は暗い fact12: もしもこの人権文化部は動かし難いとすると「主要症状だ」ということは確かである fact13: この人権文化部は妊娠する fact14: 仮に「「その余暇社会は分かり辛くないものであってかつ丸っこい」ということは嘘である」ということは確かであるならば丸っこくない fact15: もし仮にこの御値段は少年鑑別所だとすれば「その兼好法師は分かり辛くないが丸っこい」ということは間違いだ fact16: あのメロディーは動かし難い fact17: あのランドセルは主要症状である fact18: 仮にその兼好法師が主要症状でないとしたらこの人権文化部は動かし難いし加えて暗い fact19: もしなんらかの物は丸っこくないとしたら「主要症状であるがしかし動かし難くない」ということは誤っている fact20: もしもこの人権文化部が暗いならその兼好法師は主要症状である fact21: その兼好法師は主要症状だ fact22: 仮にこの人権文化部が暗いとすればあのファリサイ派は暗い ; $hypothesis$ = もしもこの人権文化部は動かし難いとすれば「その兼好法師は暗い」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この人権文化部は動かし難い; fact12 & assump1 -> int1: この人権文化部は主要症状だ; int1 & fact11 -> int2: その兼好法師は暗い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この人権文化部は試しである
事実2: もし仮に「何かは分かり辛くないが丸っこい」ということは成り立たないならそれは主要症状でない
事実3: 「この民間団体は暗い」ということは本当である
事実4: もしもこの薄地が目的合理性でない一方でそれが承認するとするとこの御値段は少年鑑別所である
事実5: この人権文化部は暗い
事実6: もしこの速度低下は試しでないなら「齎し易くないし嬉し過ぎる」ということは偽である
事実7: もしも「何かは主要症状だ一方でそれは動かし難くない」ということは偽であるとすればそれは暗い
事実8: 清しものは目的合理性でないけど承認する
事実9: もし仮にとある物が少年鑑別所ならば分かり辛い
事実10: この人権文化部は好まし
事実11: もしもこの人権文化部が主要症状ならばその兼好法師は暗い
事実12: もしもこの人権文化部は動かし難いとすると「主要症状だ」ということは確かである
事実13: この人権文化部は妊娠する
事実14: 仮に「「その余暇社会は分かり辛くないものであってかつ丸っこい」ということは嘘である」ということは確かであるならば丸っこくない
事実15: もし仮にこの御値段は少年鑑別所だとすれば「その兼好法師は分かり辛くないが丸っこい」ということは間違いだ
事実16: あのメロディーは動かし難い
事実17: あのランドセルは主要症状である
事実18: 仮にその兼好法師が主要症状でないとしたらこの人権文化部は動かし難いし加えて暗い
事実19: もしなんらかの物は丸っこくないとしたら「主要症状であるがしかし動かし難くない」ということは誤っている
事実20: もしもこの人権文化部が暗いならその兼好法師は主要症状である
事実21: その兼好法師は主要症状だ
事実22: 仮にこの人権文化部が暗いとすればあのファリサイ派は暗い

仮説: もしもこの人権文化部は動かし難いとすれば「その兼好法師は暗い」ということは事実だ
1. 仮定1: 以下のように仮定する。この人権文化部は動かし難い
2. 事実12と仮定1から、推論1: "この人権文化部は主要症状だ"が導かれる
3. 推論1と事実11から、推論2: "その兼好法師は暗い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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