もし仮にそのダムケラー数が真っ暗闇だとすればこのＣＡＰはラインアップする
fact1: 人間っぽいものは数次である fact2: 「数次である」物はある fact3: 仮に何らかのものがにやにやするし加えて数次であるとすればこのＣＡＰはラインアップする fact4: あの血液型毎は人間っぽい fact5: もしそのダムケラー数が数次だけれど味気ないということはないとするとその修道館は味気ないということはない fact6: この上川原Ｋ二十三下は数次だ fact7: もし「この清国人は真っ暗闇だ」ということは確かだとすればそれは酎だ fact8: もしもなにがしかのものが味気ないとするとそれはにやにやする fact9: もしあの血液型毎が人間っぽいとしたらそのダムケラー数は人間っぽい fact10: 「仮にこのＣＡＰがにやにやするならばあのＣＡＰは相応しい」ということは真実である fact11: もしもそのダムケラー数が味気ないならこのＣＡＰは真っ暗闇である fact12: 味気なくないものは真っ暗闇であるしその上人間っぽい fact13: その舞台劇は人間っぽい fact14: あのＩＴ社会は数次だ fact15: 「このＣＡＰはにやにやする」ということは事実である fact16: 仮にそのダムケラー数が真っ暗闇だとしたら味気ない fact17: 「にやにやする」ものはある
void -> assump1: 以下のように仮定する。「そのダムケラー数は真っ暗闇だ」ということは正しい; fact16 & assump1 -> int1: そのダムケラー数は味気ない; fact8 -> int2: もし仮にそのダムケラー数が味気ないとすればそれはにやにやする; int1 & int2 -> int3: そのダムケラー数はにやにやする; fact4 & fact9 -> int4: そのダムケラー数は人間っぽい; fact1 -> int5: もしもそのダムケラー数が人間っぽいとしたらそれは数次だ; int4 & int5 -> int6: 「そのダムケラー数は数次でない」ということは嘘である; int3 & int6 -> int7: そのダムケラー数はにやにやするしそれは数次だ; int7 -> int8: 「にやにやするし数次な」物はある; int8 & fact3 -> int9: このＣＡＰはラインアップする; [assump1] & int9 -> hypothesis;
その修道館は人間っぽい
fact18 -> int10: もし仮にその修道館が味気ないということはないとするとそれは真っ暗闇であるしまた人間っぽい;
$facts$ = fact1: 人間っぽいものは数次である fact2: 「数次である」物はある fact3: 仮に何らかのものがにやにやするし加えて数次であるとすればこのＣＡＰはラインアップする fact4: あの血液型毎は人間っぽい fact5: もしそのダムケラー数が数次だけれど味気ないということはないとするとその修道館は味気ないということはない fact6: この上川原Ｋ二十三下は数次だ fact7: もし「この清国人は真っ暗闇だ」ということは確かだとすればそれは酎だ fact8: もしもなにがしかのものが味気ないとするとそれはにやにやする fact9: もしあの血液型毎が人間っぽいとしたらそのダムケラー数は人間っぽい fact10: 「仮にこのＣＡＰがにやにやするならばあのＣＡＰは相応しい」ということは真実である fact11: もしもそのダムケラー数が味気ないならこのＣＡＰは真っ暗闇である fact12: 味気なくないものは真っ暗闇であるしその上人間っぽい fact13: その舞台劇は人間っぽい fact14: あのＩＴ社会は数次だ fact15: 「このＣＡＰはにやにやする」ということは事実である fact16: 仮にそのダムケラー数が真っ暗闇だとしたら味気ない fact17: 「にやにやする」ものはある ; $hypothesis$ = もし仮にそのダムケラー数が真っ暗闇だとすればこのＣＡＰはラインアップする ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのダムケラー数は真っ暗闇だ」ということは正しい; fact16 & assump1 -> int1: そのダムケラー数は味気ない; fact8 -> int2: もし仮にそのダムケラー数が味気ないとすればそれはにやにやする; int1 & int2 -> int3: そのダムケラー数はにやにやする; fact4 & fact9 -> int4: そのダムケラー数は人間っぽい; fact1 -> int5: もしもそのダムケラー数が人間っぽいとしたらそれは数次だ; int4 & int5 -> int6: 「そのダムケラー数は数次でない」ということは嘘である; int3 & int6 -> int7: そのダムケラー数はにやにやするしそれは数次だ; int7 -> int8: 「にやにやするし数次な」物はある; int8 & fact3 -> int9: このＣＡＰはラインアップする; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 人間っぽいものは数次である
事実2: 「数次である」物はある
事実3: 仮に何らかのものがにやにやするし加えて数次であるとすればこのＣＡＰはラインアップする
事実4: あの血液型毎は人間っぽい
事実5: もしそのダムケラー数が数次だけれど味気ないということはないとするとその修道館は味気ないということはない
事実6: この上川原Ｋ二十三下は数次だ
事実7: もし「この清国人は真っ暗闇だ」ということは確かだとすればそれは酎だ
事実8: もしもなにがしかのものが味気ないとするとそれはにやにやする
事実9: もしあの血液型毎が人間っぽいとしたらそのダムケラー数は人間っぽい
事実10: 「仮にこのＣＡＰがにやにやするならばあのＣＡＰは相応しい」ということは真実である
事実11: もしもそのダムケラー数が味気ないならこのＣＡＰは真っ暗闇である
事実12: 味気なくないものは真っ暗闇であるしその上人間っぽい
事実13: その舞台劇は人間っぽい
事実14: あのＩＴ社会は数次だ
事実15: 「このＣＡＰはにやにやする」ということは事実である
事実16: 仮にそのダムケラー数が真っ暗闇だとしたら味気ない
事実17: 「にやにやする」ものはある

仮説: もし仮にそのダムケラー数が真っ暗闇だとすればこのＣＡＰはラインアップする
1. 仮定1: 以下のように仮定する。「そのダムケラー数は真っ暗闇だ」ということは正しい
2. 事実16と仮定1から、推論1: "そのダムケラー数は味気ない"が導かれる
3. 事実8から、推論2: "もし仮にそのダムケラー数が味気ないとすればそれはにやにやする"が導かれる
4. 推論1と推論2から、推論3: "そのダムケラー数はにやにやする"が導かれる
5. 事実4と事実9から、推論4: "そのダムケラー数は人間っぽい"が導かれる
6. 事実1から、推論5: "もしもそのダムケラー数が人間っぽいとしたらそれは数次だ"が導かれる
7. 推論4と推論5から、推論6: "「そのダムケラー数は数次でない」ということは嘘である"が導かれる
8. 推論3と推論6から、推論7: "そのダムケラー数はにやにやするしそれは数次だ"が導かれる
9. 推論7から、推論8: "「にやにやするし数次な」物はある"が導かれる
10. 推論8と事実3から、推論9: "このＣＡＰはラインアップする"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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