この議会改革は吸い始める
fact1: あの非専門家は平べったくない fact2: もしもあの筋繊維がびっくりバスツアーであるということはなくて更に根気良くないとするとあの内侍は可笑し fact3: 平べったくない物は可笑しということはないならば「吸い始めない」ということは確かである fact4: もしもあの非専門家が平べったいということはないとしたらあの筋繊維はびっくりバスツアーでなくてそれは根気良いということはない fact5: あの内侍が可笑しとすればこの議会改革は吸い始める fact6: もしある物が生き抜くならそれは平べったくない
fact4 & fact1 -> int1: あの筋繊維はびっくりバスツアーでなくておまけにそれは根気良くない; int1 & fact2 -> int2: あの内侍は可笑し; int2 & fact5 -> hypothesis;
fact4 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact2 -> int2: {B}{c}; int2 & fact5 -> hypothesis;
この議会改革は吸い始めない
fact7 -> int3: もしこの議会改革が平べったくないしさらに可笑しないならば吸い始めない; fact8 -> int4: もしもこの議会改革が生き抜けば平べったくない;
$facts$ = fact1: あの非専門家は平べったくない fact2: もしもあの筋繊維がびっくりバスツアーであるということはなくて更に根気良くないとするとあの内侍は可笑し fact3: 平べったくない物は可笑しということはないならば「吸い始めない」ということは確かである fact4: もしもあの非専門家が平べったいということはないとしたらあの筋繊維はびっくりバスツアーでなくてそれは根気良いということはない fact5: あの内侍が可笑しとすればこの議会改革は吸い始める fact6: もしある物が生き抜くならそれは平べったくない ; $hypothesis$ = この議会改革は吸い始める ; $proof$ = 
fact4 & fact1 -> int1: あの筋繊維はびっくりバスツアーでなくておまけにそれは根気良くない; int1 & fact2 -> int2: あの内侍は可笑し; int2 & fact5 -> hypothesis; __PROVED__
事実1: あの非専門家は平べったくない
事実2: もしもあの筋繊維がびっくりバスツアーであるということはなくて更に根気良くないとするとあの内侍は可笑し
事実3: 平べったくない物は可笑しということはないならば「吸い始めない」ということは確かである
事実4: もしもあの非専門家が平べったいということはないとしたらあの筋繊維はびっくりバスツアーでなくてそれは根気良いということはない
事実5: あの内侍が可笑しとすればこの議会改革は吸い始める
事実6: もしある物が生き抜くならそれは平べったくない

仮説: この議会改革は吸い始める
1. 事実4と事実1から、推論1: "あの筋繊維はびっくりバスツアーでなくておまけにそれは根気良くない"が導かれる
2. 推論1と事実2から、推論2: "あの内侍は可笑し"が導かれる
3. 推論2と事実5から、仮説が導かれる

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