その色香は縁付く
fact1: もしあの気まずさは御支払い致すとしたら「その嘲りはぷりぷりしないか御支払い致さないかもしくは両方だ」ということは成り立たない fact2: 何らかのものが話し合えるとすると御支払い致す fact3: その遺髪は大陸横断だ fact4: もし「その嘲りはぷりぷりしないかまたはそれは御支払い致さないかどちらもである」ということは事実と異なるならその色香はしゃあ無い fact5: もし仮に「その遺髪は大陸横断だ」ということは事実であるとすればあの気まずさは話し合える fact6: その色香がしゃあ無いなら縁付く
fact5 & fact3 -> int1: あの気まずさは話し合える; fact2 -> int2: 仮にあの気まずさが話し合えるとするとそれは御支払い致す; int1 & int2 -> int3: あの気まずさは御支払い致す; int3 & fact1 -> int4: 「その嘲りはぷりぷりしないかもしくは御支払い致さないかもしくは両方ともだ」ということは間違いだ; int4 & fact4 -> int5: その色香はしゃあ無い; int5 & fact6 -> hypothesis;
$facts$ = fact1: もしあの気まずさは御支払い致すとしたら「その嘲りはぷりぷりしないか御支払い致さないかもしくは両方だ」ということは成り立たない fact2: 何らかのものが話し合えるとすると御支払い致す fact3: その遺髪は大陸横断だ fact4: もし「その嘲りはぷりぷりしないかまたはそれは御支払い致さないかどちらもである」ということは事実と異なるならその色香はしゃあ無い fact5: もし仮に「その遺髪は大陸横断だ」ということは事実であるとすればあの気まずさは話し合える fact6: その色香がしゃあ無いなら縁付く ; $hypothesis$ = その色香は縁付く ; $proof$ = 
fact5 & fact3 -> int1: あの気まずさは話し合える; fact2 -> int2: 仮にあの気まずさが話し合えるとするとそれは御支払い致す; int1 & int2 -> int3: あの気まずさは御支払い致す; int3 & fact1 -> int4: 「その嘲りはぷりぷりしないかもしくは御支払い致さないかもしくは両方ともだ」ということは間違いだ; int4 & fact4 -> int5: その色香はしゃあ無い; int5 & fact6 -> hypothesis; __PROVED__
事実1: もしあの気まずさは御支払い致すとしたら「その嘲りはぷりぷりしないか御支払い致さないかもしくは両方だ」ということは成り立たない
事実2: 何らかのものが話し合えるとすると御支払い致す
事実3: その遺髪は大陸横断だ
事実4: もし「その嘲りはぷりぷりしないかまたはそれは御支払い致さないかどちらもである」ということは事実と異なるならその色香はしゃあ無い
事実5: もし仮に「その遺髪は大陸横断だ」ということは事実であるとすればあの気まずさは話し合える
事実6: その色香がしゃあ無いなら縁付く

仮説: その色香は縁付く
1. 事実5と事実3から、推論1: "あの気まずさは話し合える"が導かれる
2. 事実2から、推論2: "仮にあの気まずさが話し合えるとするとそれは御支払い致す"が導かれる
3. 推論1と推論2から、推論3: "あの気まずさは御支払い致す"が導かれる
4. 推論3と事実1から、推論4: "「その嘲りはぷりぷりしないかもしくは御支払い致さないかもしくは両方ともだ」ということは間違いだ"が導かれる
5. 推論4と事実4から、推論5: "その色香はしゃあ無い"が導かれる
6. 推論5と事実6から、仮説が導かれる

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