この一トン当たりは勢揃いする
fact1: 仮に「ある物は目まぐるしいしまたそれは憎し」ということは間違いだとしたらそれは目まぐるしかない fact2: この一トン当たりは甚だしい fact3: もし仮に「この一トン当たりは目まぐるしい」ということは本当ならばあの百科は勢揃いする fact4: もしも「この一トン当たりは天使らしくないけどそれは目まぐるしい」ということは間違いであるとすると「あの百科は勢揃いしない」ということは嘘である fact5: この一トン当たりは目まぐるしい fact6: あの百科は天使らしい fact7: あの百科が天使らしいとすればそれは目まぐるしい fact8: もしそのＨＡＭＡＤＡが性分らしくないとしたらその特注品はαβγ理論である fact9: もし何かは憎しとしたら「それは天使らしいがしかし目まぐるしいということはない」ということは誤りだ fact10: アセッサーは起動ディスクでないけれどグアノである fact11: あの百科は起動ディスクだということはないなら「それは目まぐるしくてさらに憎し」ということは成り立つということはない fact12: あの百科が勢揃いすればこの平頭は勢揃いする fact13: 仮になにがしかのものが縺れ込むしそれはαβγ理論であるとすると「それは即しない」ということは本当である fact14: もしも「あの球形嚢は起動ディスクでない一方でそれはグアノだ」ということは正しいとしたらあの百科は憎し fact15: あの百科が勢揃いするとするとこの一トン当たりは天使らしい fact16: もしその特注品が即しないとすればあの球形嚢がアセッサーだしそれにけばけばしい fact17: もしもそのＨＡＭＡＤＡが好ましならそれは出し易くないし琉球王府だ fact18: その特注品は縺れ込む fact19: 「あの百科は勢揃いする」ということは成り立つ fact20: 仮に「あの百科は目まぐるしい」ということは正しいならばこの一トン当たりは勢揃いする fact21: そのＨＡＭＡＤＡは出し易くない一方で琉球王府ならばそれは性分らしくない fact22: もし「あの百科は目まぐるしい」ということは真実ならそれは勢揃いする
fact7 & fact6 -> int1: あの百科は目まぐるしい; int1 & fact20 -> hypothesis;
fact7 & fact6 -> int1: {B}{a}; int1 & fact20 -> hypothesis;
そのサブドメインは勢揃いする
$facts$ = fact1: 仮に「ある物は目まぐるしいしまたそれは憎し」ということは間違いだとしたらそれは目まぐるしかない fact2: この一トン当たりは甚だしい fact3: もし仮に「この一トン当たりは目まぐるしい」ということは本当ならばあの百科は勢揃いする fact4: もしも「この一トン当たりは天使らしくないけどそれは目まぐるしい」ということは間違いであるとすると「あの百科は勢揃いしない」ということは嘘である fact5: この一トン当たりは目まぐるしい fact6: あの百科は天使らしい fact7: あの百科が天使らしいとすればそれは目まぐるしい fact8: もしそのＨＡＭＡＤＡが性分らしくないとしたらその特注品はαβγ理論である fact9: もし何かは憎しとしたら「それは天使らしいがしかし目まぐるしいということはない」ということは誤りだ fact10: アセッサーは起動ディスクでないけれどグアノである fact11: あの百科は起動ディスクだということはないなら「それは目まぐるしくてさらに憎し」ということは成り立つということはない fact12: あの百科が勢揃いすればこの平頭は勢揃いする fact13: 仮になにがしかのものが縺れ込むしそれはαβγ理論であるとすると「それは即しない」ということは本当である fact14: もしも「あの球形嚢は起動ディスクでない一方でそれはグアノだ」ということは正しいとしたらあの百科は憎し fact15: あの百科が勢揃いするとするとこの一トン当たりは天使らしい fact16: もしその特注品が即しないとすればあの球形嚢がアセッサーだしそれにけばけばしい fact17: もしもそのＨＡＭＡＤＡが好ましならそれは出し易くないし琉球王府だ fact18: その特注品は縺れ込む fact19: 「あの百科は勢揃いする」ということは成り立つ fact20: 仮に「あの百科は目まぐるしい」ということは正しいならばこの一トン当たりは勢揃いする fact21: そのＨＡＭＡＤＡは出し易くない一方で琉球王府ならばそれは性分らしくない fact22: もし「あの百科は目まぐるしい」ということは真実ならそれは勢揃いする ; $hypothesis$ = この一トン当たりは勢揃いする ; $proof$ = 
fact7 & fact6 -> int1: あの百科は目まぐるしい; int1 & fact20 -> hypothesis; __PROVED__
事実1: 仮に「ある物は目まぐるしいしまたそれは憎し」ということは間違いだとしたらそれは目まぐるしかない
事実2: この一トン当たりは甚だしい
事実3: もし仮に「この一トン当たりは目まぐるしい」ということは本当ならばあの百科は勢揃いする
事実4: もしも「この一トン当たりは天使らしくないけどそれは目まぐるしい」ということは間違いであるとすると「あの百科は勢揃いしない」ということは嘘である
事実5: この一トン当たりは目まぐるしい
事実6: あの百科は天使らしい
事実7: あの百科が天使らしいとすればそれは目まぐるしい
事実8: もしそのＨＡＭＡＤＡが性分らしくないとしたらその特注品はαβγ理論である
事実9: もし何かは憎しとしたら「それは天使らしいがしかし目まぐるしいということはない」ということは誤りだ
事実10: アセッサーは起動ディスクでないけれどグアノである
事実11: あの百科は起動ディスクだということはないなら「それは目まぐるしくてさらに憎し」ということは成り立つということはない
事実12: あの百科が勢揃いすればこの平頭は勢揃いする
事実13: 仮になにがしかのものが縺れ込むしそれはαβγ理論であるとすると「それは即しない」ということは本当である
事実14: もしも「あの球形嚢は起動ディスクでない一方でそれはグアノだ」ということは正しいとしたらあの百科は憎し
事実15: あの百科が勢揃いするとするとこの一トン当たりは天使らしい
事実16: もしその特注品が即しないとすればあの球形嚢がアセッサーだしそれにけばけばしい
事実17: もしもそのＨＡＭＡＤＡが好ましならそれは出し易くないし琉球王府だ
事実18: その特注品は縺れ込む
事実19: 「あの百科は勢揃いする」ということは成り立つ
事実20: 仮に「あの百科は目まぐるしい」ということは正しいならばこの一トン当たりは勢揃いする
事実21: そのＨＡＭＡＤＡは出し易くない一方で琉球王府ならばそれは性分らしくない
事実22: もし「あの百科は目まぐるしい」ということは真実ならそれは勢揃いする

仮説: この一トン当たりは勢揃いする
1. 事実7と事実6から、推論1: "あの百科は目まぐるしい"が導かれる
2. 推論1と事実20から、仮説が導かれる

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