あの新登記所は告白する
fact1: あのＦＳＨは告白するとすると「この支払い企業は追跡する」ということは確かだ fact2: この支払い企業は肥やす fact3: あのＦＳＨは金縛りだとすれば「この支払い企業は追跡しない」ということは嘘だ fact4: 仮にこの支払い企業は追跡すれば「あの新登記所は告白する」ということは本当である fact5: あのＦＳＨが追跡するならこの支払い企業は金縛りだ fact6: この支払い企業は懐かしい fact7: もし「あのＦＳＨは告白する」ということは確かであるなら「あの新登記所は金縛りである」ということは確かだ fact8: あの新登記所が金縛りだとしたらあのＦＳＨは告白する fact9: なにかは追跡しないとするとそれは金縛りであるけど告白しない fact10: この支払い企業が告白するとすればあの新登記所は金縛りだ fact11: あの新登記所は追跡する fact12: あのＦＳＨは金縛りだ fact13: もし仮にこの支払い企業が金縛りだとしたらあのＦＳＨは追跡する fact14: 「あの系統間は追跡する」ということは事実だ fact15: あのＦＳＨは追跡する fact16: この支払い企業は就職差別事象だ fact17: 仮にこの支払い企業は告白するとすれば「あの新登記所は追跡する」ということは事実だ fact18: あの時間当たりは金縛りである fact19: もしもあのＦＳＨが心強くないとしたらあの新登記所は追跡しない
fact3 & fact12 -> int1: この支払い企業は追跡する; int1 & fact4 -> hypothesis;
fact3 & fact12 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
あの新登記所は告白しない
fact21 -> int2: あの新登記所が追跡しないとしたらそれが金縛りだしそれに告白しない;
$facts$ = fact1: あのＦＳＨは告白するとすると「この支払い企業は追跡する」ということは確かだ fact2: この支払い企業は肥やす fact3: あのＦＳＨは金縛りだとすれば「この支払い企業は追跡しない」ということは嘘だ fact4: 仮にこの支払い企業は追跡すれば「あの新登記所は告白する」ということは本当である fact5: あのＦＳＨが追跡するならこの支払い企業は金縛りだ fact6: この支払い企業は懐かしい fact7: もし「あのＦＳＨは告白する」ということは確かであるなら「あの新登記所は金縛りである」ということは確かだ fact8: あの新登記所が金縛りだとしたらあのＦＳＨは告白する fact9: なにかは追跡しないとするとそれは金縛りであるけど告白しない fact10: この支払い企業が告白するとすればあの新登記所は金縛りだ fact11: あの新登記所は追跡する fact12: あのＦＳＨは金縛りだ fact13: もし仮にこの支払い企業が金縛りだとしたらあのＦＳＨは追跡する fact14: 「あの系統間は追跡する」ということは事実だ fact15: あのＦＳＨは追跡する fact16: この支払い企業は就職差別事象だ fact17: 仮にこの支払い企業は告白するとすれば「あの新登記所は追跡する」ということは事実だ fact18: あの時間当たりは金縛りである fact19: もしもあのＦＳＨが心強くないとしたらあの新登記所は追跡しない ; $hypothesis$ = あの新登記所は告白する ; $proof$ = 
fact3 & fact12 -> int1: この支払い企業は追跡する; int1 & fact4 -> hypothesis; __PROVED__
事実1: あのＦＳＨは告白するとすると「この支払い企業は追跡する」ということは確かだ
事実2: この支払い企業は肥やす
事実3: あのＦＳＨは金縛りだとすれば「この支払い企業は追跡しない」ということは嘘だ
事実4: 仮にこの支払い企業は追跡すれば「あの新登記所は告白する」ということは本当である
事実5: あのＦＳＨが追跡するならこの支払い企業は金縛りだ
事実6: この支払い企業は懐かしい
事実7: もし「あのＦＳＨは告白する」ということは確かであるなら「あの新登記所は金縛りである」ということは確かだ
事実8: あの新登記所が金縛りだとしたらあのＦＳＨは告白する
事実9: なにかは追跡しないとするとそれは金縛りであるけど告白しない
事実10: この支払い企業が告白するとすればあの新登記所は金縛りだ
事実11: あの新登記所は追跡する
事実12: あのＦＳＨは金縛りだ
事実13: もし仮にこの支払い企業が金縛りだとしたらあのＦＳＨは追跡する
事実14: 「あの系統間は追跡する」ということは事実だ
事実15: あのＦＳＨは追跡する
事実16: この支払い企業は就職差別事象だ
事実17: 仮にこの支払い企業は告白するとすれば「あの新登記所は追跡する」ということは事実だ
事実18: あの時間当たりは金縛りである
事実19: もしもあのＦＳＨが心強くないとしたらあの新登記所は追跡しない

仮説: あの新登記所は告白する
1. 事実3と事実12から、推論1: "この支払い企業は追跡する"が導かれる
2. 推論1と事実4から、仮説が導かれる

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