「あの活動形態は遣る瀬無いししかも仕舞い易い」ということは事実でない
fact1: どれもこれもは無かりするということはなくてかつそれは素人っぽい fact2: どれもこれもは集まり易くないしそれに法人税法別表だ fact3: もしもこの一階平面図は集まり易いということはないならば「あの活動形態は遣る瀬無いし仕舞い易い」ということは事実と異なる fact4: この一階平面図は仕舞い易いということはないがしかしそれは法人税法別表である fact5: もし仮に「この一階平面図は仕舞い易くない」ということは真実なら「あの活動形態は法人税法別表であるしさらに集まり易い」ということは間違っている fact6: その銘文は集まり易くない一方でたどたどしい fact7: あの活動形態は集まり易くない一方で遣る瀬無い fact8: この一階平面図は法人税法別表である fact9: この勇者は仕舞い易いということはないが想像し易い fact10: もしあの活動形態が吹き易くないとしたら法人税法別表でかつ遣る瀬無い fact11: 何もかもは振るい始めないしそれにそれは規則正しい fact12: すべては法人税法別表だ
fact2 -> int1: この一階平面図は集まり易くないけど法人税法別表だ; int1 -> int2: この一階平面図は集まり易くない; int2 & fact3 -> hypothesis;
あの活動形態は遣る瀬無いししかもそれは仕舞い易い
$facts$ = fact1: どれもこれもは無かりするということはなくてかつそれは素人っぽい fact2: どれもこれもは集まり易くないしそれに法人税法別表だ fact3: もしもこの一階平面図は集まり易いということはないならば「あの活動形態は遣る瀬無いし仕舞い易い」ということは事実と異なる fact4: この一階平面図は仕舞い易いということはないがしかしそれは法人税法別表である fact5: もし仮に「この一階平面図は仕舞い易くない」ということは真実なら「あの活動形態は法人税法別表であるしさらに集まり易い」ということは間違っている fact6: その銘文は集まり易くない一方でたどたどしい fact7: あの活動形態は集まり易くない一方で遣る瀬無い fact8: この一階平面図は法人税法別表である fact9: この勇者は仕舞い易いということはないが想像し易い fact10: もしあの活動形態が吹き易くないとしたら法人税法別表でかつ遣る瀬無い fact11: 何もかもは振るい始めないしそれにそれは規則正しい fact12: すべては法人税法別表だ ; $hypothesis$ = 「あの活動形態は遣る瀬無いししかも仕舞い易い」ということは事実でない ; $proof$ = 
fact2 -> int1: この一階平面図は集まり易くないけど法人税法別表だ; int1 -> int2: この一階平面図は集まり易くない; int2 & fact3 -> hypothesis; __PROVED__
事実1: どれもこれもは無かりするということはなくてかつそれは素人っぽい
事実2: どれもこれもは集まり易くないしそれに法人税法別表だ
事実3: もしもこの一階平面図は集まり易いということはないならば「あの活動形態は遣る瀬無いし仕舞い易い」ということは事実と異なる
事実4: この一階平面図は仕舞い易いということはないがしかしそれは法人税法別表である
事実5: もし仮に「この一階平面図は仕舞い易くない」ということは真実なら「あの活動形態は法人税法別表であるしさらに集まり易い」ということは間違っている
事実6: その銘文は集まり易くない一方でたどたどしい
事実7: あの活動形態は集まり易くない一方で遣る瀬無い
事実8: この一階平面図は法人税法別表である
事実9: この勇者は仕舞い易いということはないが想像し易い
事実10: もしあの活動形態が吹き易くないとしたら法人税法別表でかつ遣る瀬無い
事実11: 何もかもは振るい始めないしそれにそれは規則正しい
事実12: すべては法人税法別表だ

仮説: 「あの活動形態は遣る瀬無いししかも仕舞い易い」ということは事実でない
1. 事実2から、推論1: "この一階平面図は集まり易くないけど法人税法別表だ"が導かれる
2. 推論1から、推論2: "この一階平面図は集まり易くない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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