その敵同士は築き難くない
fact1: あの発現状況は民間病院でない fact2: 「高等文官な」ものはある fact3: もしもあの乾癬患者が正しくないしさらに民主化しないとすればこの猪狩文助等は親類縁者でない fact4: 「「この多重債務者は親類縁者でないしそれは怪しない」ということは成り立たない」ということは成り立つとすればその敵同士は葡萄糖負荷でない fact5: 「もし何らかの物が民間病院でないとすればその敵同士は商法違反である」ということは確かだ fact6: もし仮にこの緊急連絡先一覧が民主化するとするとあの乾癬患者は正しくないしおまけに民主化しない fact7: もし「この多重債務者は所無しでないしさらにそれは物欲しかない」ということは偽ならば民間病院であるということはない fact8: この緊急連絡先一覧が仰々しいとすればそれは民主化する fact9: もしこの猪狩文助等は親類縁者でないならば「この多重債務者は親類縁者でなくて怪しということはない」ということは誤っている fact10: もしある物は葡萄糖負荷であるということはないけれど商法違反だとすればそれは扱い始めない fact11: 仮に何かは民間病院でないならば扱い始めなくてそれは商法違反でない fact12: この猪狩文助等が怪しないとすればあの乾癬患者は親類縁者であるけれど葡萄糖負荷でない fact13: もしもなんらかのものが扱い始めるということはなくて加えて商法違反でないとすればこの猪狩文助等は怪しない fact14: 親類縁者が葡萄糖負荷だということはないとしたら正しくない fact15: 「この多重債務者は親類縁者でないが怪し」ということは成り立つということはない fact16: この緊急連絡先一覧は仰々しい fact17: もしこの緊急連絡先一覧が民主化するがそれが仰々しいということはないとすればその敵同士は築き難い fact18: 何かは扱い始めるということはないならばそれは築き難くない
fact8 & fact16 -> int1: 「この緊急連絡先一覧は民主化する」ということは成り立つ; int1 & fact6 -> int2: あの乾癬患者は正しいということはないし民主化するということはない; int2 & fact3 -> int3: この猪狩文助等は親類縁者でない; int3 & fact9 -> int4: 「この多重債務者は親類縁者であるということはないしその上怪しない」ということは事実と異なる; int4 & fact4 -> int5: その敵同士は葡萄糖負荷でない; fact1 -> int6: とあるものは民間病院でない; int6 & fact5 -> int7: その敵同士は商法違反である; int5 & int7 -> int8: その敵同士は葡萄糖負荷でないが商法違反だ; fact10 -> int9: もしその敵同士は葡萄糖負荷でないがしかし商法違反だとするとそれは扱い始めない; int8 & int9 -> int10: その敵同士は扱い始めるということはない; fact18 -> int11: もしその敵同士は扱い始めないとしたら「築き難くない」ということは偽でない; int10 & int11 -> hypothesis;
「その敵同士は築き難い」ということは事実だ
fact19 -> int12: もし「あの乾癬患者は親類縁者だけれど葡萄糖負荷でない」ということは成り立つとすると正しくない; fact20 -> int13: 「もしもこの多重債務者が民間病院だということはないとすればこの多重債務者は扱い始めなくてそれは商法違反でない」ということは成り立つ;
$facts$ = fact1: あの発現状況は民間病院でない fact2: 「高等文官な」ものはある fact3: もしもあの乾癬患者が正しくないしさらに民主化しないとすればこの猪狩文助等は親類縁者でない fact4: 「「この多重債務者は親類縁者でないしそれは怪しない」ということは成り立たない」ということは成り立つとすればその敵同士は葡萄糖負荷でない fact5: 「もし何らかの物が民間病院でないとすればその敵同士は商法違反である」ということは確かだ fact6: もし仮にこの緊急連絡先一覧が民主化するとするとあの乾癬患者は正しくないしおまけに民主化しない fact7: もし「この多重債務者は所無しでないしさらにそれは物欲しかない」ということは偽ならば民間病院であるということはない fact8: この緊急連絡先一覧が仰々しいとすればそれは民主化する fact9: もしこの猪狩文助等は親類縁者でないならば「この多重債務者は親類縁者でなくて怪しということはない」ということは誤っている fact10: もしある物は葡萄糖負荷であるということはないけれど商法違反だとすればそれは扱い始めない fact11: 仮に何かは民間病院でないならば扱い始めなくてそれは商法違反でない fact12: この猪狩文助等が怪しないとすればあの乾癬患者は親類縁者であるけれど葡萄糖負荷でない fact13: もしもなんらかのものが扱い始めるということはなくて加えて商法違反でないとすればこの猪狩文助等は怪しない fact14: 親類縁者が葡萄糖負荷だということはないとしたら正しくない fact15: 「この多重債務者は親類縁者でないが怪し」ということは成り立つということはない fact16: この緊急連絡先一覧は仰々しい fact17: もしこの緊急連絡先一覧が民主化するがそれが仰々しいということはないとすればその敵同士は築き難い fact18: 何かは扱い始めるということはないならばそれは築き難くない ; $hypothesis$ = その敵同士は築き難くない ; $proof$ = 
fact8 & fact16 -> int1: 「この緊急連絡先一覧は民主化する」ということは成り立つ; int1 & fact6 -> int2: あの乾癬患者は正しいということはないし民主化するということはない; int2 & fact3 -> int3: この猪狩文助等は親類縁者でない; int3 & fact9 -> int4: 「この多重債務者は親類縁者であるということはないしその上怪しない」ということは事実と異なる; int4 & fact4 -> int5: その敵同士は葡萄糖負荷でない; fact1 -> int6: とあるものは民間病院でない; int6 & fact5 -> int7: その敵同士は商法違反である; int5 & int7 -> int8: その敵同士は葡萄糖負荷でないが商法違反だ; fact10 -> int9: もしその敵同士は葡萄糖負荷でないがしかし商法違反だとするとそれは扱い始めない; int8 & int9 -> int10: その敵同士は扱い始めるということはない; fact18 -> int11: もしその敵同士は扱い始めないとしたら「築き難くない」ということは偽でない; int10 & int11 -> hypothesis; __PROVED__
事実1: あの発現状況は民間病院でない
事実2: 「高等文官な」ものはある
事実3: もしもあの乾癬患者が正しくないしさらに民主化しないとすればこの猪狩文助等は親類縁者でない
事実4: 「「この多重債務者は親類縁者でないしそれは怪しない」ということは成り立たない」ということは成り立つとすればその敵同士は葡萄糖負荷でない
事実5: 「もし何らかの物が民間病院でないとすればその敵同士は商法違反である」ということは確かだ
事実6: もし仮にこの緊急連絡先一覧が民主化するとするとあの乾癬患者は正しくないしおまけに民主化しない
事実7: もし「この多重債務者は所無しでないしさらにそれは物欲しかない」ということは偽ならば民間病院であるということはない
事実8: この緊急連絡先一覧が仰々しいとすればそれは民主化する
事実9: もしこの猪狩文助等は親類縁者でないならば「この多重債務者は親類縁者でなくて怪しということはない」ということは誤っている
事実10: もしある物は葡萄糖負荷であるということはないけれど商法違反だとすればそれは扱い始めない
事実11: 仮に何かは民間病院でないならば扱い始めなくてそれは商法違反でない
事実12: この猪狩文助等が怪しないとすればあの乾癬患者は親類縁者であるけれど葡萄糖負荷でない
事実13: もしもなんらかのものが扱い始めるということはなくて加えて商法違反でないとすればこの猪狩文助等は怪しない
事実14: 親類縁者が葡萄糖負荷だということはないとしたら正しくない
事実15: 「この多重債務者は親類縁者でないが怪し」ということは成り立つということはない
事実16: この緊急連絡先一覧は仰々しい
事実17: もしこの緊急連絡先一覧が民主化するがそれが仰々しいということはないとすればその敵同士は築き難い
事実18: 何かは扱い始めるということはないならばそれは築き難くない

仮説: その敵同士は築き難くない
1. 事実8と事実16から、推論1: "「この緊急連絡先一覧は民主化する」ということは成り立つ"が導かれる
2. 推論1と事実6から、推論2: "あの乾癬患者は正しいということはないし民主化するということはない"が導かれる
3. 推論2と事実3から、推論3: "この猪狩文助等は親類縁者でない"が導かれる
4. 推論3と事実9から、推論4: "「この多重債務者は親類縁者であるということはないしその上怪しない」ということは事実と異なる"が導かれる
5. 推論4と事実4から、推論5: "その敵同士は葡萄糖負荷でない"が導かれる
6. 事実1から、推論6: "とあるものは民間病院でない"が導かれる
7. 推論6と事実5から、推論7: "その敵同士は商法違反である"が導かれる
8. 推論5と推論7から、推論8: "その敵同士は葡萄糖負荷でないが商法違反だ"が導かれる
9. 事実10から、推論9: "もしその敵同士は葡萄糖負荷でないがしかし商法違反だとするとそれは扱い始めない"が導かれる
10. 推論8と推論9から、推論10: "その敵同士は扱い始めるということはない"が導かれる
11. 事実18から、推論11: "もしその敵同士は扱い始めないとしたら「築き難くない」ということは偽でない"が導かれる
12. 推論10と推論11から、仮説が導かれる

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