この後小松上皇は男らしいかそれは七日以内であるかあるいはどちらもだ
fact1: あの果たし合いは勧誘しない fact2: この後小松上皇は勧誘するかあるいはそれは七日以内だ fact3: もし仮にこの後小松上皇が飛び出し掛けないとするとあの果たし合いは悟らないし早くない fact4: もし仮にこの後小松上皇が七日以内でないならあの果たし合いは勧誘するかあるいは男らしいかもしくは両方である fact5: もし仮にこの後小松上皇が七日以内でないならあの果たし合いは男らしいかそれは勧誘するかもしくは両方ともだ fact6: もし仮に何らかのものがストッキングならば勧誘するということはない fact7: もしもあの果たし合いが男らしくないとするとこの後小松上皇は勧誘するか七日以内であるかまたは両方ともである fact8: この父母は勧誘しない fact9: この後小松上皇は七日以内であるかあるいは勧誘するか両方である fact10: 「あの果たし合いは七日以内であるかあるいはそれは勧誘する」ということは確かだ fact11: あの果たし合いが勧誘しないとすればこの後小松上皇は男らしいかあるいは七日以内である fact12: 仮になんらかのものが勧誘しないならそれは七日以内である fact13: 仮にあの果たし合いが男らしくないならばあの後小松上皇は七日以内であるか勧誘する
fact11 & fact1 -> hypothesis;
fact11 & fact1 -> hypothesis;
あのギガバイトは証拠制限回避目的であるかあるいは七日以内であるかもしくは両方である
fact16 -> int1: もし仮に「あのギガバイトは勧誘する」ということは成り立たないとしたら七日以内である; fact14 -> int2: もしあのギガバイトはストッキングであるならそれは勧誘するということはない;
$facts$ = fact1: あの果たし合いは勧誘しない fact2: この後小松上皇は勧誘するかあるいはそれは七日以内だ fact3: もし仮にこの後小松上皇が飛び出し掛けないとするとあの果たし合いは悟らないし早くない fact4: もし仮にこの後小松上皇が七日以内でないならあの果たし合いは勧誘するかあるいは男らしいかもしくは両方である fact5: もし仮にこの後小松上皇が七日以内でないならあの果たし合いは男らしいかそれは勧誘するかもしくは両方ともだ fact6: もし仮に何らかのものがストッキングならば勧誘するということはない fact7: もしもあの果たし合いが男らしくないとするとこの後小松上皇は勧誘するか七日以内であるかまたは両方ともである fact8: この父母は勧誘しない fact9: この後小松上皇は七日以内であるかあるいは勧誘するか両方である fact10: 「あの果たし合いは七日以内であるかあるいはそれは勧誘する」ということは確かだ fact11: あの果たし合いが勧誘しないとすればこの後小松上皇は男らしいかあるいは七日以内である fact12: 仮になんらかのものが勧誘しないならそれは七日以内である fact13: 仮にあの果たし合いが男らしくないならばあの後小松上皇は七日以内であるか勧誘する ; $hypothesis$ = この後小松上皇は男らしいかそれは七日以内であるかあるいはどちらもだ ; $proof$ = 
fact11 & fact1 -> hypothesis; __PROVED__
事実1: あの果たし合いは勧誘しない
事実2: この後小松上皇は勧誘するかあるいはそれは七日以内だ
事実3: もし仮にこの後小松上皇が飛び出し掛けないとするとあの果たし合いは悟らないし早くない
事実4: もし仮にこの後小松上皇が七日以内でないならあの果たし合いは勧誘するかあるいは男らしいかもしくは両方である
事実5: もし仮にこの後小松上皇が七日以内でないならあの果たし合いは男らしいかそれは勧誘するかもしくは両方ともだ
事実6: もし仮に何らかのものがストッキングならば勧誘するということはない
事実7: もしもあの果たし合いが男らしくないとするとこの後小松上皇は勧誘するか七日以内であるかまたは両方ともである
事実8: この父母は勧誘しない
事実9: この後小松上皇は七日以内であるかあるいは勧誘するか両方である
事実10: 「あの果たし合いは七日以内であるかあるいはそれは勧誘する」ということは確かだ
事実11: あの果たし合いが勧誘しないとすればこの後小松上皇は男らしいかあるいは七日以内である
事実12: 仮になんらかのものが勧誘しないならそれは七日以内である
事実13: 仮にあの果たし合いが男らしくないならばあの後小松上皇は七日以内であるか勧誘する

仮説: この後小松上皇は男らしいかそれは七日以内であるかあるいはどちらもだ
1. 事実11と事実1から、仮説が導かれる

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