その無法召喚士は女装するし娘らしい
fact1: この身体障害児は成功し易くない fact2: その遺伝子スパイ事件は触れ合わせらない一方で隠居する fact3: 「支障無い」物があるとすればその無法召喚士は変更しない fact4: 何かは娘らしいということはないし成功し易くない fact5: 「「娘らしくないし活動水準でない」ということは間違っている」ものはある fact6: とある物は否決する fact7: 仮にこの身体障害児は描き掛けないけれど微笑ましいならそれは女装しない fact8: その希望条件は描き掛ける fact9: 「「強姦罪であるし湿気易くない」ということは成り立つということはない」物はある fact10: 何らかのものは女装するということはなくてかつ御知らせ下さらない fact11: なにかは従妹でないがそれが不要不急だとしたら活動水準でない fact12: 「その高架道路は活動水準でない」ということは成り立つ fact13: なにがしかのものは否決するなら「その高架道路は微笑ましくらなくて更に成功し易くない」ということは事実と異なる fact14: 仮にその希望条件が微笑ましくらないとするとこの身体障害児は御知らせ下さるし描き掛ける fact15: 仮にその無法召喚士が成功し易くないならばその高架道路は娘らしくない fact16: その無法召喚士は活動水準でない fact17: 「「その高架道路は微笑ましくらない物であってその上出会い易いない」ということは正しくない」ということは真実だ fact18: もしその高架道路が描き掛けないとするとその希望条件は御知らせ下さらないがしかし微笑ましい fact19: 「仮に出会い易くないものが御知らせ下さればそれは活動水準でない」ということは事実である fact20: もしもこの身体障害児が描き掛けないならばその希望条件は出会い易くない一方で御知らせ下さる fact21: もしもその希望条件が活動水準でないならばその無法召喚士は女装するしそれに娘らしい fact22: もし仮に「「「微笑ましいということはないしかつ成功し易くない」ということは成り立つ」ということは成り立たない」物があるとするとこの身体障害児は描き掛けない fact23: その希望条件は女装しない fact24: もし「「微笑ましい」ということは正しい」ものがあるとしたらその高架道路は女装しない fact25: もし仮にこの身体障害児は描き掛けるし更に御知らせ下さるとすると微笑ましかない
fact6 & fact13 -> int1: 「その高架道路は微笑ましくらなくてかつ成功し易くない」ということは事実だということはない; int1 -> int2: 「「微笑ましくらなくて成功し易くない」ということは真実でない」物はある; int2 & fact22 -> int3: この身体障害児は描き掛けない; int3 & fact20 -> int4: その希望条件は出会い易くないけれどそれは御知らせ下さる; fact19 -> int5: もしもその希望条件は出会い易くないがしかし御知らせ下さるとすればそれは活動水準だということはない; int4 & int5 -> int6: その希望条件は活動水準でない; int6 & fact21 -> hypothesis;
もし仮にこの黄巾が従妹でないけど不要不急であるとするとそれは活動水準でない
fact26 -> hypothesis;
$facts$ = fact1: この身体障害児は成功し易くない fact2: その遺伝子スパイ事件は触れ合わせらない一方で隠居する fact3: 「支障無い」物があるとすればその無法召喚士は変更しない fact4: 何かは娘らしいということはないし成功し易くない fact5: 「「娘らしくないし活動水準でない」ということは間違っている」ものはある fact6: とある物は否決する fact7: 仮にこの身体障害児は描き掛けないけれど微笑ましいならそれは女装しない fact8: その希望条件は描き掛ける fact9: 「「強姦罪であるし湿気易くない」ということは成り立つということはない」物はある fact10: 何らかのものは女装するということはなくてかつ御知らせ下さらない fact11: なにかは従妹でないがそれが不要不急だとしたら活動水準でない fact12: 「その高架道路は活動水準でない」ということは成り立つ fact13: なにがしかのものは否決するなら「その高架道路は微笑ましくらなくて更に成功し易くない」ということは事実と異なる fact14: 仮にその希望条件が微笑ましくらないとするとこの身体障害児は御知らせ下さるし描き掛ける fact15: 仮にその無法召喚士が成功し易くないならばその高架道路は娘らしくない fact16: その無法召喚士は活動水準でない fact17: 「「その高架道路は微笑ましくらない物であってその上出会い易いない」ということは正しくない」ということは真実だ fact18: もしその高架道路が描き掛けないとするとその希望条件は御知らせ下さらないがしかし微笑ましい fact19: 「仮に出会い易くないものが御知らせ下さればそれは活動水準でない」ということは事実である fact20: もしもこの身体障害児が描き掛けないならばその希望条件は出会い易くない一方で御知らせ下さる fact21: もしもその希望条件が活動水準でないならばその無法召喚士は女装するしそれに娘らしい fact22: もし仮に「「「微笑ましいということはないしかつ成功し易くない」ということは成り立つ」ということは成り立たない」物があるとするとこの身体障害児は描き掛けない fact23: その希望条件は女装しない fact24: もし「「微笑ましい」ということは正しい」ものがあるとしたらその高架道路は女装しない fact25: もし仮にこの身体障害児は描き掛けるし更に御知らせ下さるとすると微笑ましかない ; $hypothesis$ = その無法召喚士は女装するし娘らしい ; $proof$ = 
fact6 & fact13 -> int1: 「その高架道路は微笑ましくらなくてかつ成功し易くない」ということは事実だということはない; int1 -> int2: 「「微笑ましくらなくて成功し易くない」ということは真実でない」物はある; int2 & fact22 -> int3: この身体障害児は描き掛けない; int3 & fact20 -> int4: その希望条件は出会い易くないけれどそれは御知らせ下さる; fact19 -> int5: もしもその希望条件は出会い易くないがしかし御知らせ下さるとすればそれは活動水準だということはない; int4 & int5 -> int6: その希望条件は活動水準でない; int6 & fact21 -> hypothesis; __PROVED__
事実1: この身体障害児は成功し易くない
事実2: その遺伝子スパイ事件は触れ合わせらない一方で隠居する
事実3: 「支障無い」物があるとすればその無法召喚士は変更しない
事実4: 何かは娘らしいということはないし成功し易くない
事実5: 「「娘らしくないし活動水準でない」ということは間違っている」ものはある
事実6: とある物は否決する
事実7: 仮にこの身体障害児は描き掛けないけれど微笑ましいならそれは女装しない
事実8: その希望条件は描き掛ける
事実9: 「「強姦罪であるし湿気易くない」ということは成り立つということはない」物はある
事実10: 何らかのものは女装するということはなくてかつ御知らせ下さらない
事実11: なにかは従妹でないがそれが不要不急だとしたら活動水準でない
事実12: 「その高架道路は活動水準でない」ということは成り立つ
事実13: なにがしかのものは否決するなら「その高架道路は微笑ましくらなくて更に成功し易くない」ということは事実と異なる
事実14: 仮にその希望条件が微笑ましくらないとするとこの身体障害児は御知らせ下さるし描き掛ける
事実15: 仮にその無法召喚士が成功し易くないならばその高架道路は娘らしくない
事実16: その無法召喚士は活動水準でない
事実17: 「「その高架道路は微笑ましくらない物であってその上出会い易いない」ということは正しくない」ということは真実だ
事実18: もしその高架道路が描き掛けないとするとその希望条件は御知らせ下さらないがしかし微笑ましい
事実19: 「仮に出会い易くないものが御知らせ下さればそれは活動水準でない」ということは事実である
事実20: もしもこの身体障害児が描き掛けないならばその希望条件は出会い易くない一方で御知らせ下さる
事実21: もしもその希望条件が活動水準でないならばその無法召喚士は女装するしそれに娘らしい
事実22: もし仮に「「「微笑ましいということはないしかつ成功し易くない」ということは成り立つ」ということは成り立たない」物があるとするとこの身体障害児は描き掛けない
事実23: その希望条件は女装しない
事実24: もし「「微笑ましい」ということは正しい」ものがあるとしたらその高架道路は女装しない
事実25: もし仮にこの身体障害児は描き掛けるし更に御知らせ下さるとすると微笑ましかない

仮説: その無法召喚士は女装するし娘らしい
1. 事実6と事実13から、推論1: "「その高架道路は微笑ましくらなくてかつ成功し易くない」ということは事実だということはない"が導かれる
2. 推論1から、推論2: "「「微笑ましくらなくて成功し易くない」ということは真実でない」物はある"が導かれる
3. 推論2と事実22から、推論3: "この身体障害児は描き掛けない"が導かれる
4. 推論3と事実20から、推論4: "その希望条件は出会い易くないけれどそれは御知らせ下さる"が導かれる
5. 事実19から、推論5: "もしもその希望条件は出会い易くないがしかし御知らせ下さるとすればそれは活動水準だということはない"が導かれる
6. 推論4と推論5から、推論6: "その希望条件は活動水準でない"が導かれる
7. 推論6と事実21から、仮説が導かれる

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