もし仮にこのサロンがマップブラウザであるならあの割り引き料は外し易いけどさもしくない
fact1: 「マップブラウザは委託事業であるということはないし更に洒落臭くない」ということは本当である fact2: もしもあの割り引き料がさもしい一方で委託事業でないならこのサロンは洒落臭くない fact3: このサロンは委託事業でない fact4: その骨は委託事業だ fact5: さもしい物は委託事業でなくて外し易くない fact6: この有本宅はさもしくないとすれば「あの割り引き料はさもしくない」ということは事実である fact7: 仮にこの有本宅が委託事業だということはないならこのサロンはさもしい一方で委託事業であるということはない fact8: もしこの有本宅がさもしくないならあの割り引き料は外し易いけれどさもしいない fact9: もしもこのサロンが委託事業だ一方で洒落臭いということはないとしたらこの有本宅はさもしくない fact10: もしこのサロンが外し易いということはないとするとあの割り引き料は洒落臭い fact11: あの割り引き料はさもしくない fact12: 仮にこのサロンがマップブラウザだとしたらあの割り引き料はさもしくない fact13: このサロンは愛す fact14: 仮に「このサロンは委託事業でないしさらに洒落臭くない」ということは成り立つならこの有本宅はさもしくない fact15: もしもあの割り引き料は委託事業でないとしたら「このサロンは外し易い」ということは真実だ fact16: 仮にあの割り引き料が洒落臭くないしさもしくないとすれば「このサロンは委託事業でない」ということは正しい
fact1 -> int1: 仮に「このサロンはマップブラウザだ」ということは間違いでないならば委託事業でないし洒落臭くない; void -> assump1: 以下のように仮定する。このサロンはマップブラウザだ; int1 & assump1 -> int2: このサロンは委託事業でないし洒落臭くない; int2 & fact14 -> int3: この有本宅はさもしくない; int3 & fact8 -> int4: あの割り引き料は外し易い一方でさもしくない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「マップブラウザは委託事業であるということはないし更に洒落臭くない」ということは本当である fact2: もしもあの割り引き料がさもしい一方で委託事業でないならこのサロンは洒落臭くない fact3: このサロンは委託事業でない fact4: その骨は委託事業だ fact5: さもしい物は委託事業でなくて外し易くない fact6: この有本宅はさもしくないとすれば「あの割り引き料はさもしくない」ということは事実である fact7: 仮にこの有本宅が委託事業だということはないならこのサロンはさもしい一方で委託事業であるということはない fact8: もしこの有本宅がさもしくないならあの割り引き料は外し易いけれどさもしいない fact9: もしもこのサロンが委託事業だ一方で洒落臭いということはないとしたらこの有本宅はさもしくない fact10: もしこのサロンが外し易いということはないとするとあの割り引き料は洒落臭い fact11: あの割り引き料はさもしくない fact12: 仮にこのサロンがマップブラウザだとしたらあの割り引き料はさもしくない fact13: このサロンは愛す fact14: 仮に「このサロンは委託事業でないしさらに洒落臭くない」ということは成り立つならこの有本宅はさもしくない fact15: もしもあの割り引き料は委託事業でないとしたら「このサロンは外し易い」ということは真実だ fact16: 仮にあの割り引き料が洒落臭くないしさもしくないとすれば「このサロンは委託事業でない」ということは正しい ; $hypothesis$ = もし仮にこのサロンがマップブラウザであるならあの割り引き料は外し易いけどさもしくない ; $proof$ = 
fact1 -> int1: 仮に「このサロンはマップブラウザだ」ということは間違いでないならば委託事業でないし洒落臭くない; void -> assump1: 以下のように仮定する。このサロンはマップブラウザだ; int1 & assump1 -> int2: このサロンは委託事業でないし洒落臭くない; int2 & fact14 -> int3: この有本宅はさもしくない; int3 & fact8 -> int4: あの割り引き料は外し易い一方でさもしくない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「マップブラウザは委託事業であるということはないし更に洒落臭くない」ということは本当である
事実2: もしもあの割り引き料がさもしい一方で委託事業でないならこのサロンは洒落臭くない
事実3: このサロンは委託事業でない
事実4: その骨は委託事業だ
事実5: さもしい物は委託事業でなくて外し易くない
事実6: この有本宅はさもしくないとすれば「あの割り引き料はさもしくない」ということは事実である
事実7: 仮にこの有本宅が委託事業だということはないならこのサロンはさもしい一方で委託事業であるということはない
事実8: もしこの有本宅がさもしくないならあの割り引き料は外し易いけれどさもしいない
事実9: もしもこのサロンが委託事業だ一方で洒落臭いということはないとしたらこの有本宅はさもしくない
事実10: もしこのサロンが外し易いということはないとするとあの割り引き料は洒落臭い
事実11: あの割り引き料はさもしくない
事実12: 仮にこのサロンがマップブラウザだとしたらあの割り引き料はさもしくない
事実13: このサロンは愛す
事実14: 仮に「このサロンは委託事業でないしさらに洒落臭くない」ということは成り立つならこの有本宅はさもしくない
事実15: もしもあの割り引き料は委託事業でないとしたら「このサロンは外し易い」ということは真実だ
事実16: 仮にあの割り引き料が洒落臭くないしさもしくないとすれば「このサロンは委託事業でない」ということは正しい

仮説: もし仮にこのサロンがマップブラウザであるならあの割り引き料は外し易いけどさもしくない
1. 事実1から、推論1: "仮に「このサロンはマップブラウザだ」ということは間違いでないならば委託事業でないし洒落臭くない"が導かれる
2. 仮定1: 以下のように仮定する。このサロンはマップブラウザだ
3. 推論1と仮定1から、推論2: "このサロンは委託事業でないし洒落臭くない"が導かれる
4. 推論2と事実14から、推論3: "この有本宅はさもしくない"が導かれる
5. 推論3と事実8から、推論4: "あの割り引き料は外し易い一方でさもしくない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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