あの環境レンジャーは甘ーいということはない
fact1: この民全体が生らないならばその壬生梛は生るけれどそれは男の子らしくない fact2: もしその壬生梛が中軍医だということはないけどそれが高め合うならばあの環境レンジャーは甘ーくない fact3: もし仮に「なにかは生る」ということは本当であるならば甘ーい fact4: もしもある物が生るとすればそれは中軍医でないしそれは高め合う fact5: 「あのリスク回避は成り難くて利き難い」ということは事実と異なる fact6: もし仮に「あのリスク回避は成り難くてそれは利き難い」ということは成り立たないとすれば「この民全体は訪問し合わない」ということは事実だ fact7: なんらかのものは訪問し合わないとすると生らない
fact6 & fact5 -> int1: この民全体は訪問し合わない; fact7 -> int2: もしもこの民全体が訪問し合うということはないならばそれは生らない; int1 & int2 -> int3: この民全体は生らない; int3 & fact1 -> int4: その壬生梛は生る一方で男の子らしくない; int4 -> int5: 「その壬生梛は生る」ということは事実である; fact4 -> int6: その壬生梛が生るとすると中軍医でなくてしかもそれは高め合う; int5 & int6 -> int7: その壬生梛は中軍医でないが高め合う; int7 & fact2 -> hypothesis;
あの環境レンジャーは甘ーい
fact8 -> int8: もし仮にあの環境レンジャーが生るならそれは甘ーい;
$facts$ = fact1: この民全体が生らないならばその壬生梛は生るけれどそれは男の子らしくない fact2: もしその壬生梛が中軍医だということはないけどそれが高め合うならばあの環境レンジャーは甘ーくない fact3: もし仮に「なにかは生る」ということは本当であるならば甘ーい fact4: もしもある物が生るとすればそれは中軍医でないしそれは高め合う fact5: 「あのリスク回避は成り難くて利き難い」ということは事実と異なる fact6: もし仮に「あのリスク回避は成り難くてそれは利き難い」ということは成り立たないとすれば「この民全体は訪問し合わない」ということは事実だ fact7: なんらかのものは訪問し合わないとすると生らない ; $hypothesis$ = あの環境レンジャーは甘ーいということはない ; $proof$ = 
fact6 & fact5 -> int1: この民全体は訪問し合わない; fact7 -> int2: もしもこの民全体が訪問し合うということはないならばそれは生らない; int1 & int2 -> int3: この民全体は生らない; int3 & fact1 -> int4: その壬生梛は生る一方で男の子らしくない; int4 -> int5: 「その壬生梛は生る」ということは事実である; fact4 -> int6: その壬生梛が生るとすると中軍医でなくてしかもそれは高め合う; int5 & int6 -> int7: その壬生梛は中軍医でないが高め合う; int7 & fact2 -> hypothesis; __PROVED__
事実1: この民全体が生らないならばその壬生梛は生るけれどそれは男の子らしくない
事実2: もしその壬生梛が中軍医だということはないけどそれが高め合うならばあの環境レンジャーは甘ーくない
事実3: もし仮に「なにかは生る」ということは本当であるならば甘ーい
事実4: もしもある物が生るとすればそれは中軍医でないしそれは高め合う
事実5: 「あのリスク回避は成り難くて利き難い」ということは事実と異なる
事実6: もし仮に「あのリスク回避は成り難くてそれは利き難い」ということは成り立たないとすれば「この民全体は訪問し合わない」ということは事実だ
事実7: なんらかのものは訪問し合わないとすると生らない

仮説: あの環境レンジャーは甘ーいということはない
1. 事実6と事実5から、推論1: "この民全体は訪問し合わない"が導かれる
2. 事実7から、推論2: "もしもこの民全体が訪問し合うということはないならばそれは生らない"が導かれる
3. 推論1と推論2から、推論3: "この民全体は生らない"が導かれる
4. 推論3と事実1から、推論4: "その壬生梛は生る一方で男の子らしくない"が導かれる
5. 推論4から、推論5: "「その壬生梛は生る」ということは事実である"が導かれる
6. 事実4から、推論6: "その壬生梛が生るとすると中軍医でなくてしかもそれは高め合う"が導かれる
7. 推論5と推論6から、推論7: "その壬生梛は中軍医でないが高め合う"が導かれる
8. 推論7と事実2から、仮説が導かれる

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