あの醜女は狼狽しない
fact1: あのウエートトレーニングは狼狽しない fact2: 仮にあの醜女が所らしいがしかし作業し易くないとしたら狼狽する fact3: もし仮になんらかの物が逆流するならそれは狼狽しない fact4: もしあの読者諸兄が逆流するならあの醜女は囲まなくてそれに厳しかない fact5: あの刃物は逆流しない fact6: あの醜女は逆流しない fact7: もしもあの醜女が逆流しないならばそれは所らしいということはない物でありまた作業し易くない fact8: 所らしくないしおまけに作業し易くないものは狼狽しない
fact7 & fact6 -> int1: あの醜女は所らしくないしかつ作業し易くない; fact8 -> int2: もし仮にあの醜女が所らしくないしかつ作業し易くないならそれは狼狽する; int1 & int2 -> hypothesis;
fact7 & fact6 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact8 -> int2: (¬{AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
あの醜女は囲まないしそれは厳しかない
$facts$ = fact1: あのウエートトレーニングは狼狽しない fact2: 仮にあの醜女が所らしいがしかし作業し易くないとしたら狼狽する fact3: もし仮になんらかの物が逆流するならそれは狼狽しない fact4: もしあの読者諸兄が逆流するならあの醜女は囲まなくてそれに厳しかない fact5: あの刃物は逆流しない fact6: あの醜女は逆流しない fact7: もしもあの醜女が逆流しないならばそれは所らしいということはない物でありまた作業し易くない fact8: 所らしくないしおまけに作業し易くないものは狼狽しない ; $hypothesis$ = あの醜女は狼狽しない ; $proof$ = 
fact7 & fact6 -> int1: あの醜女は所らしくないしかつ作業し易くない; fact8 -> int2: もし仮にあの醜女が所らしくないしかつ作業し易くないならそれは狼狽する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あのウエートトレーニングは狼狽しない
事実2: 仮にあの醜女が所らしいがしかし作業し易くないとしたら狼狽する
事実3: もし仮になんらかの物が逆流するならそれは狼狽しない
事実4: もしあの読者諸兄が逆流するならあの醜女は囲まなくてそれに厳しかない
事実5: あの刃物は逆流しない
事実6: あの醜女は逆流しない
事実7: もしもあの醜女が逆流しないならばそれは所らしいということはない物でありまた作業し易くない
事実8: 所らしくないしおまけに作業し易くないものは狼狽しない

仮説: あの醜女は狼狽しない
1. 事実7と事実6から、推論1: "あの醜女は所らしくないしかつ作業し易くない"が導かれる
2. 事実8から、推論2: "もし仮にあの醜女が所らしくないしかつ作業し易くないならそれは狼狽する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。