その三日以後は憎らしくて識別する
fact1: あのスワヒリ語が頷き掛けるとしたらあのＫオンドゥーは落胤だけれどそれは合否でない fact2: あのスワヒリ語が頷き掛けるならばあのＫオンドゥーは合否だということはない fact3: 仮に落胤は合否でないとするとそれは便所だということはない fact4: 「あのＣアムは化学変化しない」ということは成り立たない fact5: あのＫオンドゥーは合否でない fact6: あのＫオンドゥーは頷き掛ける fact7: あのスワヒリ語は頷き掛ける fact8: 仮に何らかのものは論うないとすると「それは憎らしいしかつ識別する」ということは誤っている fact9: 「その三日以後は影響され易くない」ということは本当だ fact10: あのＫオンドゥーは論う fact11: あの太郎梅は頷き掛ける fact12: もし仮にあのＫオンドゥーは落胤であるし合否だとするとそれは便所でない fact13: もしその三日以後が化学変化するとするとあのＫオンドゥーは便所だが憎らしいということはない fact14: 落胤は合否であるとしたらそれは便所だということはない fact15: あのＫオンドゥーは化学変化するがしかし合否でない fact16: もしも「あのＣアムは化学変化する」ということは誤りでないとしたらその三日以後は識別するが影響され易くない fact17: あのＫオンドゥーが論う一方でそれが便所でないとすればあの三日以後は憎らしい fact18: 仮にあのＣアムは化学変化するとすると「その三日以後は影響され易くない」ということは成り立つ fact19: 「その山家衆は化学変化しない」ということは成り立たない
fact3 -> int1: 仮にあのＫオンドゥーは落胤だが合否でないとすればそれは便所でない; fact7 & fact1 -> int2: あのＫオンドゥーは落胤だがしかし合否でない; int1 & int2 -> int3: あのＫオンドゥーは便所であるということはない; int3 & fact10 -> int4: あのＫオンドゥーは論う一方で便所でない; int4 & fact17 -> int5: その三日以後は憎らしい; fact4 & fact16 -> int6: その三日以後は識別するけれど影響され易くない; int6 -> int7: その三日以後は識別する; int5 & int7 -> hypothesis;
「その三日以後は憎らしくて識別する」ということは成り立つということはない
fact20 -> int8: もし仮に「その三日以後は論うない」ということは本当であるとしたら「それは憎らしいしその上識別する」ということは誤りだ;
$facts$ = fact1: あのスワヒリ語が頷き掛けるとしたらあのＫオンドゥーは落胤だけれどそれは合否でない fact2: あのスワヒリ語が頷き掛けるならばあのＫオンドゥーは合否だということはない fact3: 仮に落胤は合否でないとするとそれは便所だということはない fact4: 「あのＣアムは化学変化しない」ということは成り立たない fact5: あのＫオンドゥーは合否でない fact6: あのＫオンドゥーは頷き掛ける fact7: あのスワヒリ語は頷き掛ける fact8: 仮に何らかのものは論うないとすると「それは憎らしいしかつ識別する」ということは誤っている fact9: 「その三日以後は影響され易くない」ということは本当だ fact10: あのＫオンドゥーは論う fact11: あの太郎梅は頷き掛ける fact12: もし仮にあのＫオンドゥーは落胤であるし合否だとするとそれは便所でない fact13: もしその三日以後が化学変化するとするとあのＫオンドゥーは便所だが憎らしいということはない fact14: 落胤は合否であるとしたらそれは便所だということはない fact15: あのＫオンドゥーは化学変化するがしかし合否でない fact16: もしも「あのＣアムは化学変化する」ということは誤りでないとしたらその三日以後は識別するが影響され易くない fact17: あのＫオンドゥーが論う一方でそれが便所でないとすればあの三日以後は憎らしい fact18: 仮にあのＣアムは化学変化するとすると「その三日以後は影響され易くない」ということは成り立つ fact19: 「その山家衆は化学変化しない」ということは成り立たない ; $hypothesis$ = その三日以後は憎らしくて識別する ; $proof$ = 
fact3 -> int1: 仮にあのＫオンドゥーは落胤だが合否でないとすればそれは便所でない; fact7 & fact1 -> int2: あのＫオンドゥーは落胤だがしかし合否でない; int1 & int2 -> int3: あのＫオンドゥーは便所であるということはない; int3 & fact10 -> int4: あのＫオンドゥーは論う一方で便所でない; int4 & fact17 -> int5: その三日以後は憎らしい; fact4 & fact16 -> int6: その三日以後は識別するけれど影響され易くない; int6 -> int7: その三日以後は識別する; int5 & int7 -> hypothesis; __PROVED__
事実1: あのスワヒリ語が頷き掛けるとしたらあのＫオンドゥーは落胤だけれどそれは合否でない
事実2: あのスワヒリ語が頷き掛けるならばあのＫオンドゥーは合否だということはない
事実3: 仮に落胤は合否でないとするとそれは便所だということはない
事実4: 「あのＣアムは化学変化しない」ということは成り立たない
事実5: あのＫオンドゥーは合否でない
事実6: あのＫオンドゥーは頷き掛ける
事実7: あのスワヒリ語は頷き掛ける
事実8: 仮に何らかのものは論うないとすると「それは憎らしいしかつ識別する」ということは誤っている
事実9: 「その三日以後は影響され易くない」ということは本当だ
事実10: あのＫオンドゥーは論う
事実11: あの太郎梅は頷き掛ける
事実12: もし仮にあのＫオンドゥーは落胤であるし合否だとするとそれは便所でない
事実13: もしその三日以後が化学変化するとするとあのＫオンドゥーは便所だが憎らしいということはない
事実14: 落胤は合否であるとしたらそれは便所だということはない
事実15: あのＫオンドゥーは化学変化するがしかし合否でない
事実16: もしも「あのＣアムは化学変化する」ということは誤りでないとしたらその三日以後は識別するが影響され易くない
事実17: あのＫオンドゥーが論う一方でそれが便所でないとすればあの三日以後は憎らしい
事実18: 仮にあのＣアムは化学変化するとすると「その三日以後は影響され易くない」ということは成り立つ
事実19: 「その山家衆は化学変化しない」ということは成り立たない

仮説: その三日以後は憎らしくて識別する
1. 事実3から、推論1: "仮にあのＫオンドゥーは落胤だが合否でないとすればそれは便所でない"が導かれる
2. 事実7と事実1から、推論2: "あのＫオンドゥーは落胤だがしかし合否でない"が導かれる
3. 推論1と推論2から、推論3: "あのＫオンドゥーは便所であるということはない"が導かれる
4. 推論3と事実10から、推論4: "あのＫオンドゥーは論う一方で便所でない"が導かれる
5. 推論4と事実17から、推論5: "その三日以後は憎らしい"が導かれる
6. 事実4と事実16から、推論6: "その三日以後は識別するけれど影響され易くない"が導かれる
7. 推論6から、推論7: "その三日以後は識別する"が導かれる
8. 推論5と推論7から、仮説が導かれる

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