この医療レーザー永久脱毛はこりこりしない
fact1: もしも「なにがしかのものは面接するけれど掴み易くない」ということは偽ならばそれは繋ぎ止めるということはない fact2: もしあの頓が怪しくない一方でこりこりするとすればこの医療レーザー永久脱毛は押さえ難い fact3: もし仮にこの医療レーザー永久脱毛がこりこりするならそれは怪しくない fact4: もし仮になんらかのものが繋ぎ止めないとすると怪しくないけどこりこりする fact5: もし仮になんらかのものは痴呆症でないなら「面接するけど掴み易くない」ということは成り立たない fact6: もし仮に何らかのものが寝れないとすれば痴呆症でない fact7: この医療レーザー永久脱毛は怪しいしまた繋ぎ止める fact8: もしあの頓はこりこりしないけど繋ぎ止めるとすると「この医療レーザー永久脱毛はこりこりする」ということは成り立つ fact9: この医療レーザー永久脱毛は繋ぎ止める
void -> assump1: 以下のように仮定する。この医療レーザー永久脱毛はこりこりする; fact3 & assump1 -> int1: この医療レーザー永久脱毛は怪しいということはない; fact7 -> int2: この医療レーザー永久脱毛は怪しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: ¬{B}{a}; fact7 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この医療レーザー永久脱毛はこりこりする
$facts$ = fact1: もしも「なにがしかのものは面接するけれど掴み易くない」ということは偽ならばそれは繋ぎ止めるということはない fact2: もしあの頓が怪しくない一方でこりこりするとすればこの医療レーザー永久脱毛は押さえ難い fact3: もし仮にこの医療レーザー永久脱毛がこりこりするならそれは怪しくない fact4: もし仮になんらかのものが繋ぎ止めないとすると怪しくないけどこりこりする fact5: もし仮になんらかのものは痴呆症でないなら「面接するけど掴み易くない」ということは成り立たない fact6: もし仮に何らかのものが寝れないとすれば痴呆症でない fact7: この医療レーザー永久脱毛は怪しいしまた繋ぎ止める fact8: もしあの頓はこりこりしないけど繋ぎ止めるとすると「この医療レーザー永久脱毛はこりこりする」ということは成り立つ fact9: この医療レーザー永久脱毛は繋ぎ止める ; $hypothesis$ = この医療レーザー永久脱毛はこりこりしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この医療レーザー永久脱毛はこりこりする; fact3 & assump1 -> int1: この医療レーザー永久脱毛は怪しいということはない; fact7 -> int2: この医療レーザー永久脱毛は怪しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「なにがしかのものは面接するけれど掴み易くない」ということは偽ならばそれは繋ぎ止めるということはない
事実2: もしあの頓が怪しくない一方でこりこりするとすればこの医療レーザー永久脱毛は押さえ難い
事実3: もし仮にこの医療レーザー永久脱毛がこりこりするならそれは怪しくない
事実4: もし仮になんらかのものが繋ぎ止めないとすると怪しくないけどこりこりする
事実5: もし仮になんらかのものは痴呆症でないなら「面接するけど掴み易くない」ということは成り立たない
事実6: もし仮に何らかのものが寝れないとすれば痴呆症でない
事実7: この医療レーザー永久脱毛は怪しいしまた繋ぎ止める
事実8: もしあの頓はこりこりしないけど繋ぎ止めるとすると「この医療レーザー永久脱毛はこりこりする」ということは成り立つ
事実9: この医療レーザー永久脱毛は繋ぎ止める

仮説: この医療レーザー永久脱毛はこりこりしない
1. 仮定1: 以下のように仮定する。この医療レーザー永久脱毛はこりこりする
2. 事実3と仮定1から、推論1: "この医療レーザー永久脱毛は怪しいということはない"が導かれる
3. 事実7から、推論2: "この医療レーザー永久脱毛は怪しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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