その清算人は塗り重ねる
fact1: なにがしかの物が寝苦しいならそれは読み取るということはないしそれは粗暴である fact2: もしこの解離性が攻略だとすればそれは粗暴だがしかし読み取らない fact3: もし仮にこの解離性が読み取らないならばその清算人は塗り重ねなくて寝苦しくない fact4: もしも寝苦しい物が読み取ればこの解離性は粗暴である fact5: もしもその清算人が粗暴だとするとこの解離性は塗り重ねる fact6: もし仮にこの解離性が粗暴だとするとその清算人は塗り重ねる fact7: 「寝苦しくなくておまけに読み取る」ものはある fact8: 「寝苦しくない」ものはある fact9: 「この解離性は読み取る」ということは成り立つとすると「この立ち会い外取り引きは読み取る」ということは本当である fact10: もし「木菖蒲だということはないしいみじ」物があればこの塩蔵はラウンドする fact11: 仮にその清算人が読み取らないけど粗暴であるならばこの解離性は読み取る fact12: もし「寝苦しくないし読み取る」物はあるとすれば「この解離性は粗暴だ」ということは真実である
fact7 & fact12 -> int1: この解離性は粗暴だ; int1 & fact6 -> hypothesis;
fact7 & fact12 -> int1: {C}{a}; int1 & fact6 -> hypothesis;
この立ち会い外取り引きは読み取る
fact13 -> int2: その清算人が寝苦しいならばそれは読み取らないしかつそれは粗暴だ;
$facts$ = fact1: なにがしかの物が寝苦しいならそれは読み取るということはないしそれは粗暴である fact2: もしこの解離性が攻略だとすればそれは粗暴だがしかし読み取らない fact3: もし仮にこの解離性が読み取らないならばその清算人は塗り重ねなくて寝苦しくない fact4: もしも寝苦しい物が読み取ればこの解離性は粗暴である fact5: もしもその清算人が粗暴だとするとこの解離性は塗り重ねる fact6: もし仮にこの解離性が粗暴だとするとその清算人は塗り重ねる fact7: 「寝苦しくなくておまけに読み取る」ものはある fact8: 「寝苦しくない」ものはある fact9: 「この解離性は読み取る」ということは成り立つとすると「この立ち会い外取り引きは読み取る」ということは本当である fact10: もし「木菖蒲だということはないしいみじ」物があればこの塩蔵はラウンドする fact11: 仮にその清算人が読み取らないけど粗暴であるならばこの解離性は読み取る fact12: もし「寝苦しくないし読み取る」物はあるとすれば「この解離性は粗暴だ」ということは真実である ; $hypothesis$ = その清算人は塗り重ねる ; $proof$ = 
fact7 & fact12 -> int1: この解離性は粗暴だ; int1 & fact6 -> hypothesis; __PROVED__
事実1: なにがしかの物が寝苦しいならそれは読み取るということはないしそれは粗暴である
事実2: もしこの解離性が攻略だとすればそれは粗暴だがしかし読み取らない
事実3: もし仮にこの解離性が読み取らないならばその清算人は塗り重ねなくて寝苦しくない
事実4: もしも寝苦しい物が読み取ればこの解離性は粗暴である
事実5: もしもその清算人が粗暴だとするとこの解離性は塗り重ねる
事実6: もし仮にこの解離性が粗暴だとするとその清算人は塗り重ねる
事実7: 「寝苦しくなくておまけに読み取る」ものはある
事実8: 「寝苦しくない」ものはある
事実9: 「この解離性は読み取る」ということは成り立つとすると「この立ち会い外取り引きは読み取る」ということは本当である
事実10: もし「木菖蒲だということはないしいみじ」物があればこの塩蔵はラウンドする
事実11: 仮にその清算人が読み取らないけど粗暴であるならばこの解離性は読み取る
事実12: もし「寝苦しくないし読み取る」物はあるとすれば「この解離性は粗暴だ」ということは真実である

仮説: その清算人は塗り重ねる
1. 事実7と事実12から、推論1: "この解離性は粗暴だ"が導かれる
2. 推論1と事実6から、仮説が導かれる

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