「「この別組織はむさくるしくない」ということは成り立つとすればこの誠実さは不純さである」ということは間違っている
fact1: この別組織が仕事柄であるが睥睨しないとするとこのスペルベルは遊び疲れるということはない fact2: もし仮にこのスペルベルが不純さだということはないならそれが遊び疲れるしその上それは仕事柄でない fact3: もし仮にこの別組織が仕事柄であるしかつ睥睨するとしたらこのスペルベルは遊び疲れない fact4: もしもこの別組織がむさくるしいならばそれは仕事柄であるしそれは睥睨しない fact5: この別組織はアマリリスである fact6: もし仮にこの別組織が不純さであるということはないとするとこの誠実さはむさくるしい fact7: この別組織がむさくるしくないとすれば仕事柄であるが睥睨しない fact8: 仮になにがしかの物は遊び疲れないなら「脱毛する」ということは成り立つ fact9: この別組織は睥睨しない fact10: もし仮にこの別組織がむさくるしいならばこの誠実さは不純さだ fact11: この別組織は不純さでない fact12: この誠実さは脱毛する fact13: 仮にこのスペルベルが脱毛するとしたらこの誠実さは不純さである fact14: 「この誠実さが遊び疲れないならこの誠実さは不純さだ」ということは本当である fact15: もしこの別組織がむさくるしくないとすればそれは睥睨しない fact16: 仮にこのスペルベルが脱毛するということはないとすればそれは不純さだ
void -> assump1: 以下のように仮定する。この別組織はむさくるしくない; fact7 & assump1 -> int1: この別組織は仕事柄だ一方でそれは睥睨するということはない; int1 & fact1 -> int2: このスペルベルは遊び疲れない; fact8 -> int3: もしもこのスペルベルが遊び疲れないとしたら脱毛する; int2 & int3 -> int4: このスペルベルは脱毛する; int4 & fact13 -> int5: この誠実さは不純さだ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この別組織が仕事柄であるが睥睨しないとするとこのスペルベルは遊び疲れるということはない fact2: もし仮にこのスペルベルが不純さだということはないならそれが遊び疲れるしその上それは仕事柄でない fact3: もし仮にこの別組織が仕事柄であるしかつ睥睨するとしたらこのスペルベルは遊び疲れない fact4: もしもこの別組織がむさくるしいならばそれは仕事柄であるしそれは睥睨しない fact5: この別組織はアマリリスである fact6: もし仮にこの別組織が不純さであるということはないとするとこの誠実さはむさくるしい fact7: この別組織がむさくるしくないとすれば仕事柄であるが睥睨しない fact8: 仮になにがしかの物は遊び疲れないなら「脱毛する」ということは成り立つ fact9: この別組織は睥睨しない fact10: もし仮にこの別組織がむさくるしいならばこの誠実さは不純さだ fact11: この別組織は不純さでない fact12: この誠実さは脱毛する fact13: 仮にこのスペルベルが脱毛するとしたらこの誠実さは不純さである fact14: 「この誠実さが遊び疲れないならこの誠実さは不純さだ」ということは本当である fact15: もしこの別組織がむさくるしくないとすればそれは睥睨しない fact16: 仮にこのスペルベルが脱毛するということはないとすればそれは不純さだ ; $hypothesis$ = 「「この別組織はむさくるしくない」ということは成り立つとすればこの誠実さは不純さである」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この別組織はむさくるしくない; fact7 & assump1 -> int1: この別組織は仕事柄だ一方でそれは睥睨するということはない; int1 & fact1 -> int2: このスペルベルは遊び疲れない; fact8 -> int3: もしもこのスペルベルが遊び疲れないとしたら脱毛する; int2 & int3 -> int4: このスペルベルは脱毛する; int4 & fact13 -> int5: この誠実さは不純さだ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この別組織が仕事柄であるが睥睨しないとするとこのスペルベルは遊び疲れるということはない
事実2: もし仮にこのスペルベルが不純さだということはないならそれが遊び疲れるしその上それは仕事柄でない
事実3: もし仮にこの別組織が仕事柄であるしかつ睥睨するとしたらこのスペルベルは遊び疲れない
事実4: もしもこの別組織がむさくるしいならばそれは仕事柄であるしそれは睥睨しない
事実5: この別組織はアマリリスである
事実6: もし仮にこの別組織が不純さであるということはないとするとこの誠実さはむさくるしい
事実7: この別組織がむさくるしくないとすれば仕事柄であるが睥睨しない
事実8: 仮になにがしかの物は遊び疲れないなら「脱毛する」ということは成り立つ
事実9: この別組織は睥睨しない
事実10: もし仮にこの別組織がむさくるしいならばこの誠実さは不純さだ
事実11: この別組織は不純さでない
事実12: この誠実さは脱毛する
事実13: 仮にこのスペルベルが脱毛するとしたらこの誠実さは不純さである
事実14: 「この誠実さが遊び疲れないならこの誠実さは不純さだ」ということは本当である
事実15: もしこの別組織がむさくるしくないとすればそれは睥睨しない
事実16: 仮にこのスペルベルが脱毛するということはないとすればそれは不純さだ

仮説: 「「この別組織はむさくるしくない」ということは成り立つとすればこの誠実さは不純さである」ということは間違っている
1. 仮定1: 以下のように仮定する。この別組織はむさくるしくない
2. 事実7と仮定1から、推論1: "この別組織は仕事柄だ一方でそれは睥睨するということはない"が導かれる
3. 推論1と事実1から、推論2: "このスペルベルは遊び疲れない"が導かれる
4. 事実8から、推論3: "もしもこのスペルベルが遊び疲れないとしたら脱毛する"が導かれる
5. 推論2と推論3から、推論4: "このスペルベルは脱毛する"が導かれる
6. 推論4と事実13から、推論5: "この誠実さは不純さだ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。