あのソーマは社会的内向である
fact1: もしあのソーマが液体滲炭でないとしたらその青銅器は個別化するし更にそれはあざとい fact2: もし仮にこの発送が液体滲炭であるとすればそれはあざとくなくてそれは個別化しない fact3: もし何かは個別化するということはないとすれば「あざとい一方で倒壊でない」ということは成り立たない fact4: 仮にその梅毒トレポネーマは同軸線路内でないとしたら「その青銅器は動作改善でないがしかし液体滲炭である」ということは成り立たない fact5: もしなんらかの物が個別化するならそれは社会的内向である fact6: 仮に「その青銅器はあざとくない」ということは確かであるならあのソーマは個別化するし加えて液体滲炭である fact7: もし「その梅毒トレポネーマは同軸線路内であるしかつ倒壊だ」ということは間違いなら「倒壊でない」ということは事実だ fact8: 「あのソーマは倒壊でしかも社会的内向である」ということは間違いだとすればそれは社会的内向でない fact9: もし仮にその青銅器があざといならその梅毒トレポネーマは倒壊である fact10: もしこの発送はあざとくないならば「その梅毒トレポネーマは倒壊でないがしかし私らしい」ということは成り立たない fact11: 「あのソーマは液体滲炭である」ということは正しい fact12: もしもその梅毒トレポネーマが液体滲炭であるならばあのソーマは倒壊である fact13: 「なんらかのものは動作改善でないがしかし液体滲炭である」ということは成り立たないとしたら個別化しない fact14: 「その梅毒トレポネーマは同軸線路内でしかも倒壊だ」ということは偽だ fact15: もしも「何かは其れっぽいということはないけれどそれは同軸線路内だ」ということは成り立たないならそれは同軸線路内でない
void -> assump1: 以下のように仮定する。その青銅器はあざとい; fact9 & assump1 -> int1: その梅毒トレポネーマは倒壊だ; fact14 & fact7 -> int2: その梅毒トレポネーマは倒壊でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その青銅器はあざとくない; int4 & fact6 -> int5: あのソーマは個別化するし液体滲炭である; int5 -> int6: あのソーマは個別化する; fact5 -> int7: もしあのソーマが個別化すれば社会的内向だ; int6 & int7 -> hypothesis;
あのソーマは社会的内向でない
fact16 -> int8: もしその青銅器は個別化しないなら「あざといしかつ倒壊でない」ということは成り立たない; fact19 -> int9: もし仮に「その青銅器は動作改善でない一方でそれは液体滲炭だ」ということは成り立たないとすると「それは個別化しない」ということは事実である; fact17 -> int10: もしも「その梅毒トレポネーマは其れっぽくないがしかしそれは同軸線路内だ」ということは成り立たないとすれば同軸線路内でない;
$facts$ = fact1: もしあのソーマが液体滲炭でないとしたらその青銅器は個別化するし更にそれはあざとい fact2: もし仮にこの発送が液体滲炭であるとすればそれはあざとくなくてそれは個別化しない fact3: もし何かは個別化するということはないとすれば「あざとい一方で倒壊でない」ということは成り立たない fact4: 仮にその梅毒トレポネーマは同軸線路内でないとしたら「その青銅器は動作改善でないがしかし液体滲炭である」ということは成り立たない fact5: もしなんらかの物が個別化するならそれは社会的内向である fact6: 仮に「その青銅器はあざとくない」ということは確かであるならあのソーマは個別化するし加えて液体滲炭である fact7: もし「その梅毒トレポネーマは同軸線路内であるしかつ倒壊だ」ということは間違いなら「倒壊でない」ということは事実だ fact8: 「あのソーマは倒壊でしかも社会的内向である」ということは間違いだとすればそれは社会的内向でない fact9: もし仮にその青銅器があざといならその梅毒トレポネーマは倒壊である fact10: もしこの発送はあざとくないならば「その梅毒トレポネーマは倒壊でないがしかし私らしい」ということは成り立たない fact11: 「あのソーマは液体滲炭である」ということは正しい fact12: もしもその梅毒トレポネーマが液体滲炭であるならばあのソーマは倒壊である fact13: 「なんらかのものは動作改善でないがしかし液体滲炭である」ということは成り立たないとしたら個別化しない fact14: 「その梅毒トレポネーマは同軸線路内でしかも倒壊だ」ということは偽だ fact15: もしも「何かは其れっぽいということはないけれどそれは同軸線路内だ」ということは成り立たないならそれは同軸線路内でない ; $hypothesis$ = あのソーマは社会的内向である ; $proof$ = 
void -> assump1: 以下のように仮定する。その青銅器はあざとい; fact9 & assump1 -> int1: その梅毒トレポネーマは倒壊だ; fact14 & fact7 -> int2: その梅毒トレポネーマは倒壊でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その青銅器はあざとくない; int4 & fact6 -> int5: あのソーマは個別化するし液体滲炭である; int5 -> int6: あのソーマは個別化する; fact5 -> int7: もしあのソーマが個別化すれば社会的内向だ; int6 & int7 -> hypothesis; __PROVED__
事実1: もしあのソーマが液体滲炭でないとしたらその青銅器は個別化するし更にそれはあざとい
事実2: もし仮にこの発送が液体滲炭であるとすればそれはあざとくなくてそれは個別化しない
事実3: もし何かは個別化するということはないとすれば「あざとい一方で倒壊でない」ということは成り立たない
事実4: 仮にその梅毒トレポネーマは同軸線路内でないとしたら「その青銅器は動作改善でないがしかし液体滲炭である」ということは成り立たない
事実5: もしなんらかの物が個別化するならそれは社会的内向である
事実6: 仮に「その青銅器はあざとくない」ということは確かであるならあのソーマは個別化するし加えて液体滲炭である
事実7: もし「その梅毒トレポネーマは同軸線路内であるしかつ倒壊だ」ということは間違いなら「倒壊でない」ということは事実だ
事実8: 「あのソーマは倒壊でしかも社会的内向である」ということは間違いだとすればそれは社会的内向でない
事実9: もし仮にその青銅器があざといならその梅毒トレポネーマは倒壊である
事実10: もしこの発送はあざとくないならば「その梅毒トレポネーマは倒壊でないがしかし私らしい」ということは成り立たない
事実11: 「あのソーマは液体滲炭である」ということは正しい
事実12: もしもその梅毒トレポネーマが液体滲炭であるならばあのソーマは倒壊である
事実13: 「なんらかのものは動作改善でないがしかし液体滲炭である」ということは成り立たないとしたら個別化しない
事実14: 「その梅毒トレポネーマは同軸線路内でしかも倒壊だ」ということは偽だ
事実15: もしも「何かは其れっぽいということはないけれどそれは同軸線路内だ」ということは成り立たないならそれは同軸線路内でない

仮説: あのソーマは社会的内向である
1. 仮定1: 以下のように仮定する。その青銅器はあざとい
2. 事実9と仮定1から、推論1: "その梅毒トレポネーマは倒壊だ"が導かれる
3. 事実14と事実7から、推論2: "その梅毒トレポネーマは倒壊でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その青銅器はあざとくない"が導かれる
6. 推論4と事実6から、推論5: "あのソーマは個別化するし液体滲炭である"が導かれる
7. 推論5から、推論6: "あのソーマは個別化する"が導かれる
8. 事実5から、推論7: "もしあのソーマが個別化すれば社会的内向だ"が導かれる
9. 推論6と推論7から、仮説が導かれる

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