もしもあの登記記録が張り付くとすれば帰さないしその上外交委員長だということはない
fact1: もしとあるものが教え為さるとすると赤っぽくない fact2: 仮にあの登記記録が張り付けばそれは帰すけれど外交委員長でない fact3: あの登記記録が張り付けばそれは外交委員長でない fact4: 汚らしい物は頼もしくないしそれに男の子らしくない fact5: もしなにがしかの物が張り付くなら外交委員長だということはない fact6: もしも「なにがしかのものは張り付く」ということは確かだとすればそれは帰すがしかし外交委員長でない fact7: もし仮になんらかの物が張り付けばそれは帰すということはないし加えてそれは外交委員長でない
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: もしとあるものが教え為さるとすると赤っぽくない fact2: 仮にあの登記記録が張り付けばそれは帰すけれど外交委員長でない fact3: あの登記記録が張り付けばそれは外交委員長でない fact4: 汚らしい物は頼もしくないしそれに男の子らしくない fact5: もしなにがしかの物が張り付くなら外交委員長だということはない fact6: もしも「なにがしかのものは張り付く」ということは確かだとすればそれは帰すがしかし外交委員長でない fact7: もし仮になんらかの物が張り付けばそれは帰すということはないし加えてそれは外交委員長でない ; $hypothesis$ = もしもあの登記記録が張り付くとすれば帰さないしその上外交委員長だということはない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしとあるものが教え為さるとすると赤っぽくない
事実2: 仮にあの登記記録が張り付けばそれは帰すけれど外交委員長でない
事実3: あの登記記録が張り付けばそれは外交委員長でない
事実4: 汚らしい物は頼もしくないしそれに男の子らしくない
事実5: もしなにがしかの物が張り付くなら外交委員長だということはない
事実6: もしも「なにがしかのものは張り付く」ということは確かだとすればそれは帰すがしかし外交委員長でない
事実7: もし仮になんらかの物が張り付けばそれは帰すということはないし加えてそれは外交委員長でない

仮説: もしもあの登記記録が張り付くとすれば帰さないしその上外交委員長だということはない
1. 事実7から、仮説が導かれる

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