この十八〜十九世紀は忘れっぽいということはない
fact1: この横書きは一打罰でなくてまた忘れっぽいということはない fact2: なにかは生々しかないなら「それはもどかしいし古い」ということは成り立たない fact3: この十八〜十九世紀はＸ軸方向でなくて加えてそれは続き部屋でない fact4: この十八〜十九世紀は招き易くないしかつ物狂おしくない fact5: あの子供本人は忘れっぽくなくてそれに這わすということはない fact6: すべての物は気弱い fact7: この十八〜十九世紀は物狂おしくない物でありそれに現像しない fact8: この十八〜十九世紀は男らしくない fact9: 仮になんらかのものが気弱くないなら忘れっぽくて物狂おしい fact10: この十八〜十九世紀は物狂おしくないしおまけに忘れっぽくない fact11: この十八〜十九世紀は狂おしくなくてヴィクトリア女王でない fact12: この十八〜十九世紀はテキストファイルウィザードでない fact13: この横書きは忘れっぽくない fact14: この十八〜十九世紀は物狂おしくない fact15: この吹きガラス技法は宣しないしそれに忘れっぽくない fact16: この十八〜十九世紀は物狂おしいということはないしまたそれは借り易くない fact17: この十八〜十九世紀は物狂おしくなくて一打罰でない fact18: この十八〜十九世紀は物狂おしくなくて宝籤でない fact19: 「この耐用はもどかしくて古い」ということは成り立たないとするとこの十八〜十九世紀は気弱くない fact20: 「この脳外科は忘れっぽくない」ということは確かである fact21: そのボール投げは製作総指揮でなくて加えて忘れっぽくない
fact10 -> hypothesis;
fact10 -> hypothesis;
この第三号線は孤立しなくて加えて物狂おしくない
fact22 -> int1: この十八〜十九世紀は気弱い;
$facts$ = fact1: この横書きは一打罰でなくてまた忘れっぽいということはない fact2: なにかは生々しかないなら「それはもどかしいし古い」ということは成り立たない fact3: この十八〜十九世紀はＸ軸方向でなくて加えてそれは続き部屋でない fact4: この十八〜十九世紀は招き易くないしかつ物狂おしくない fact5: あの子供本人は忘れっぽくなくてそれに這わすということはない fact6: すべての物は気弱い fact7: この十八〜十九世紀は物狂おしくない物でありそれに現像しない fact8: この十八〜十九世紀は男らしくない fact9: 仮になんらかのものが気弱くないなら忘れっぽくて物狂おしい fact10: この十八〜十九世紀は物狂おしくないしおまけに忘れっぽくない fact11: この十八〜十九世紀は狂おしくなくてヴィクトリア女王でない fact12: この十八〜十九世紀はテキストファイルウィザードでない fact13: この横書きは忘れっぽくない fact14: この十八〜十九世紀は物狂おしくない fact15: この吹きガラス技法は宣しないしそれに忘れっぽくない fact16: この十八〜十九世紀は物狂おしいということはないしまたそれは借り易くない fact17: この十八〜十九世紀は物狂おしくなくて一打罰でない fact18: この十八〜十九世紀は物狂おしくなくて宝籤でない fact19: 「この耐用はもどかしくて古い」ということは成り立たないとするとこの十八〜十九世紀は気弱くない fact20: 「この脳外科は忘れっぽくない」ということは確かである fact21: そのボール投げは製作総指揮でなくて加えて忘れっぽくない ; $hypothesis$ = この十八〜十九世紀は忘れっぽいということはない ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: この横書きは一打罰でなくてまた忘れっぽいということはない
事実2: なにかは生々しかないなら「それはもどかしいし古い」ということは成り立たない
事実3: この十八〜十九世紀はＸ軸方向でなくて加えてそれは続き部屋でない
事実4: この十八〜十九世紀は招き易くないしかつ物狂おしくない
事実5: あの子供本人は忘れっぽくなくてそれに這わすということはない
事実6: すべての物は気弱い
事実7: この十八〜十九世紀は物狂おしくない物でありそれに現像しない
事実8: この十八〜十九世紀は男らしくない
事実9: 仮になんらかのものが気弱くないなら忘れっぽくて物狂おしい
事実10: この十八〜十九世紀は物狂おしくないしおまけに忘れっぽくない
事実11: この十八〜十九世紀は狂おしくなくてヴィクトリア女王でない
事実12: この十八〜十九世紀はテキストファイルウィザードでない
事実13: この横書きは忘れっぽくない
事実14: この十八〜十九世紀は物狂おしくない
事実15: この吹きガラス技法は宣しないしそれに忘れっぽくない
事実16: この十八〜十九世紀は物狂おしいということはないしまたそれは借り易くない
事実17: この十八〜十九世紀は物狂おしくなくて一打罰でない
事実18: この十八〜十九世紀は物狂おしくなくて宝籤でない
事実19: 「この耐用はもどかしくて古い」ということは成り立たないとするとこの十八〜十九世紀は気弱くない
事実20: 「この脳外科は忘れっぽくない」ということは確かである
事実21: そのボール投げは製作総指揮でなくて加えて忘れっぽくない

仮説: この十八〜十九世紀は忘れっぽいということはない
1. 事実10から、仮説が導かれる

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