あの共有結合性が担保責任ならばこの十四歳未満はとろい
fact1: あの共有結合性は切り捨てる fact2: 仮にその祭政が切り捨てるとするとこの十四歳未満はとろい fact3: もしその祭政が担保責任だとすればあの共有結合性は切り捨てる fact4: あのスカウトは担保責任である fact5: もしあの共有結合性が鳴動するとすればこの保留条項は冊封しない fact6: 仮にあの共有結合性が切り捨てるとすればその祭政は担保責任だ fact7: この十四歳未満が切り捨てるとするとその祭政はとろい fact8: もし仮にこの十四歳未満が担保責任ならあの共有結合性はとろい fact9: もし仮にあの共有結合性が担保責任ならばあの祭政は切り捨てる fact10: あの共有結合性はとろい fact11: なんらかの物が冊封するということはないなら切り捨てるかもしくは担保責任であるかあるいは両方だ
void -> assump1: 以下のように仮定する。あの共有結合性は担保責任だ; fact9 & assump1 -> int1: その祭政は切り捨てる; int1 & fact2 -> int2: この十四歳未満はとろい; [assump1] & int2 -> hypothesis;
この保留条項はとろい
fact13 -> int3: もしもこの保留条項が冊封しないならそれは切り捨てるかまたは担保責任であるかもしくはどちらもだ;
$facts$ = fact1: あの共有結合性は切り捨てる fact2: 仮にその祭政が切り捨てるとするとこの十四歳未満はとろい fact3: もしその祭政が担保責任だとすればあの共有結合性は切り捨てる fact4: あのスカウトは担保責任である fact5: もしあの共有結合性が鳴動するとすればこの保留条項は冊封しない fact6: 仮にあの共有結合性が切り捨てるとすればその祭政は担保責任だ fact7: この十四歳未満が切り捨てるとするとその祭政はとろい fact8: もし仮にこの十四歳未満が担保責任ならあの共有結合性はとろい fact9: もし仮にあの共有結合性が担保責任ならばあの祭政は切り捨てる fact10: あの共有結合性はとろい fact11: なんらかの物が冊封するということはないなら切り捨てるかもしくは担保責任であるかあるいは両方だ ; $hypothesis$ = あの共有結合性が担保責任ならばこの十四歳未満はとろい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの共有結合性は担保責任だ; fact9 & assump1 -> int1: その祭政は切り捨てる; int1 & fact2 -> int2: この十四歳未満はとろい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの共有結合性は切り捨てる
事実2: 仮にその祭政が切り捨てるとするとこの十四歳未満はとろい
事実3: もしその祭政が担保責任だとすればあの共有結合性は切り捨てる
事実4: あのスカウトは担保責任である
事実5: もしあの共有結合性が鳴動するとすればこの保留条項は冊封しない
事実6: 仮にあの共有結合性が切り捨てるとすればその祭政は担保責任だ
事実7: この十四歳未満が切り捨てるとするとその祭政はとろい
事実8: もし仮にこの十四歳未満が担保責任ならあの共有結合性はとろい
事実9: もし仮にあの共有結合性が担保責任ならばあの祭政は切り捨てる
事実10: あの共有結合性はとろい
事実11: なんらかの物が冊封するということはないなら切り捨てるかもしくは担保責任であるかあるいは両方だ

仮説: あの共有結合性が担保責任ならばこの十四歳未満はとろい
1. 仮定1: 以下のように仮定する。あの共有結合性は担保責任だ
2. 事実9と仮定1から、推論1: "その祭政は切り捨てる"が導かれる
3. 推論1と事実2から、推論2: "この十四歳未満はとろい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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