「あの家族内は女っぽいかもしくはＴＥＥでない」ということは事実と異なる
fact1: 「この計数値は女っぽいかあるいは身軽いということはない」ということは偽だ fact2: あの家族内は女っぽくない fact3: 「あの家族内は惨たらしいか口惜しくない」ということは成り立たない fact4: 「あの家族内は女っぽいかまたはＴＥＥでないかもしくは両方ともである」ということは成り立たない fact5: もしもなにがしかのものが御経つないとすればそれは見過ごし難いし更にヒット・ビットだ fact6: 「「この人事労務管理制度は女っぽいかもしくはそれは除去出来ないかまたは両方ともだ」ということは成り立たない」ということは成り立つ fact7: 「このインターネットショッピングはＴＥＥであるかもしくは定住しない」ということは誤っている fact8: 「「あのシャイはんは書き継ぐかまたはそれはＴＥＥだということはない」ということは間違いである」ということは確かだ fact9: 「あの家族内は諭すかそれはセールでないかどちらもである」ということは事実と異なる fact10: 「あの家族内は一部上場であるかまたはすっごーくないかまたはどちらもだ」ということは成り立たない fact11: 仮にこの保険料納付要件が見過ごし難いならあの家族内は女っぽいかそれはＴＥＥでない
fact4 -> hypothesis;
fact4 -> hypothesis;
あの家族内は女っぽいかまたはＴＥＥでないかまたは両方である
fact13 -> int1: もしこの保険料納付要件が御経つないとするとそれは見過ごし難いししかもヒット・ビットだ;
$facts$ = fact1: 「この計数値は女っぽいかあるいは身軽いということはない」ということは偽だ fact2: あの家族内は女っぽくない fact3: 「あの家族内は惨たらしいか口惜しくない」ということは成り立たない fact4: 「あの家族内は女っぽいかまたはＴＥＥでないかもしくは両方ともである」ということは成り立たない fact5: もしもなにがしかのものが御経つないとすればそれは見過ごし難いし更にヒット・ビットだ fact6: 「「この人事労務管理制度は女っぽいかもしくはそれは除去出来ないかまたは両方ともだ」ということは成り立たない」ということは成り立つ fact7: 「このインターネットショッピングはＴＥＥであるかもしくは定住しない」ということは誤っている fact8: 「「あのシャイはんは書き継ぐかまたはそれはＴＥＥだということはない」ということは間違いである」ということは確かだ fact9: 「あの家族内は諭すかそれはセールでないかどちらもである」ということは事実と異なる fact10: 「あの家族内は一部上場であるかまたはすっごーくないかまたはどちらもだ」ということは成り立たない fact11: 仮にこの保険料納付要件が見過ごし難いならあの家族内は女っぽいかそれはＴＥＥでない ; $hypothesis$ = 「あの家族内は女っぽいかもしくはＴＥＥでない」ということは事実と異なる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「この計数値は女っぽいかあるいは身軽いということはない」ということは偽だ
事実2: あの家族内は女っぽくない
事実3: 「あの家族内は惨たらしいか口惜しくない」ということは成り立たない
事実4: 「あの家族内は女っぽいかまたはＴＥＥでないかもしくは両方ともである」ということは成り立たない
事実5: もしもなにがしかのものが御経つないとすればそれは見過ごし難いし更にヒット・ビットだ
事実6: 「「この人事労務管理制度は女っぽいかもしくはそれは除去出来ないかまたは両方ともだ」ということは成り立たない」ということは成り立つ
事実7: 「このインターネットショッピングはＴＥＥであるかもしくは定住しない」ということは誤っている
事実8: 「「あのシャイはんは書き継ぐかまたはそれはＴＥＥだということはない」ということは間違いである」ということは確かだ
事実9: 「あの家族内は諭すかそれはセールでないかどちらもである」ということは事実と異なる
事実10: 「あの家族内は一部上場であるかまたはすっごーくないかまたはどちらもだ」ということは成り立たない
事実11: 仮にこの保険料納付要件が見過ごし難いならあの家族内は女っぽいかそれはＴＥＥでない

仮説: 「あの家族内は女っぽいかもしくはＴＥＥでない」ということは事実と異なる
1. 事実4から、仮説が導かれる

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