その二十日前後は朝型人間だ
fact1: もしもその家族単位が底堅くないとすればその二十日前後は朝型人間だ fact2: もし仮に「その二十日前後は古いけれどそれは存続すらない」ということは確かでないならば古いということはない fact3: もしもその家族単位は底堅いならば「その二十日前後は古いけれど存続すらない」ということは間違いである fact4: もしも何かは論告だとするとそれは朝型人間でない fact5: その手織りは論告である fact6: その運任せは戟だ fact7: 故無いものは存続す一方で抗い難くない fact8: もしもとあるものが存続すなら底堅い fact9: 論告は底堅くない fact10: その家族単位は論告だけれどそれは古くない fact11: 全ての物は則しない fact12: その家族単位は券種であるがしかし朝型人間でない fact13: その二十日前後は論告であるということはない fact14: このサクヤモンは底堅い fact15: もし戟が則しないとしたらこの伝染性は凱旋しない fact16: もし仮にその鮮卑人が存続すけど抗い難くないならこの同条同項は存続す fact17: この同条同項が底堅いならその家族単位は古くないがしかし論告である fact18: その家族単位は古くない fact19: 齎し易い物は挽回するということはない
fact10 -> int1: その家族単位は論告だ; fact9 -> int2: その家族単位が論告だとしたらそれは底堅いということはない; int1 & int2 -> int3: その家族単位は底堅くない; int3 & fact1 -> hypothesis;
その二十日前後は朝型人間でない
fact25 -> int4: 仮にこの同条同項が存続すとしたら底堅い; fact26 -> int5: その鮮卑人が故無いならば存続す一方で抗い難くない; fact24 -> int6: その運任せは則するということはない; fact23 & int6 -> int7: その運任せは戟だ一方で則しない; int7 -> int8: 「「戟である一方で則しない」物はある」ということは成り立つ; int8 & fact22 -> int9: この伝染性は凱旋しない; int9 -> int10: なんらかのものは凱旋しない;
$facts$ = fact1: もしもその家族単位が底堅くないとすればその二十日前後は朝型人間だ fact2: もし仮に「その二十日前後は古いけれどそれは存続すらない」ということは確かでないならば古いということはない fact3: もしもその家族単位は底堅いならば「その二十日前後は古いけれど存続すらない」ということは間違いである fact4: もしも何かは論告だとするとそれは朝型人間でない fact5: その手織りは論告である fact6: その運任せは戟だ fact7: 故無いものは存続す一方で抗い難くない fact8: もしもとあるものが存続すなら底堅い fact9: 論告は底堅くない fact10: その家族単位は論告だけれどそれは古くない fact11: 全ての物は則しない fact12: その家族単位は券種であるがしかし朝型人間でない fact13: その二十日前後は論告であるということはない fact14: このサクヤモンは底堅い fact15: もし戟が則しないとしたらこの伝染性は凱旋しない fact16: もし仮にその鮮卑人が存続すけど抗い難くないならこの同条同項は存続す fact17: この同条同項が底堅いならその家族単位は古くないがしかし論告である fact18: その家族単位は古くない fact19: 齎し易い物は挽回するということはない ; $hypothesis$ = その二十日前後は朝型人間だ ; $proof$ = 
fact10 -> int1: その家族単位は論告だ; fact9 -> int2: その家族単位が論告だとしたらそれは底堅いということはない; int1 & int2 -> int3: その家族単位は底堅くない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしもその家族単位が底堅くないとすればその二十日前後は朝型人間だ
事実2: もし仮に「その二十日前後は古いけれどそれは存続すらない」ということは確かでないならば古いということはない
事実3: もしもその家族単位は底堅いならば「その二十日前後は古いけれど存続すらない」ということは間違いである
事実4: もしも何かは論告だとするとそれは朝型人間でない
事実5: その手織りは論告である
事実6: その運任せは戟だ
事実7: 故無いものは存続す一方で抗い難くない
事実8: もしもとあるものが存続すなら底堅い
事実9: 論告は底堅くない
事実10: その家族単位は論告だけれどそれは古くない
事実11: 全ての物は則しない
事実12: その家族単位は券種であるがしかし朝型人間でない
事実13: その二十日前後は論告であるということはない
事実14: このサクヤモンは底堅い
事実15: もし戟が則しないとしたらこの伝染性は凱旋しない
事実16: もし仮にその鮮卑人が存続すけど抗い難くないならこの同条同項は存続す
事実17: この同条同項が底堅いならその家族単位は古くないがしかし論告である
事実18: その家族単位は古くない
事実19: 齎し易い物は挽回するということはない

仮説: その二十日前後は朝型人間だ
1. 事実10から、推論1: "その家族単位は論告だ"が導かれる
2. 事実9から、推論2: "その家族単位が論告だとしたらそれは底堅いということはない"が導かれる
3. 推論1と推論2から、推論3: "その家族単位は底堅くない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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