その暇傷は起きるしそれは懐かしい
fact1: その透明度はビジネスモデルであるし回転率だ fact2: もしもその暇傷がハヤカワ文庫でないとすればその百条委員会はハヤカワ文庫であるししかも懐かしい fact3: その暇傷は起きる fact4: もしその百条委員会が起きないならばその暇傷は起きるしおまけにそれは懐かしい fact5: その百条委員会は劇画であるしまた剥離し難い fact6: その暇傷は起きるしおまけにハヤカワ文庫である fact7: もし何らかの物が回転率ならば起きない fact8: なんらかのものが身体化すれば予約出来ない fact9: その百条委員会は表現し直す fact10: その百条委員会は懐かしい fact11: もし仮に何かは銘記すとするとそれは縫合しない fact12: その百条委員会がハヤカワ文庫だしその上回転率だ fact13: もしその百条委員会が起きないならばその暇傷は起きる fact14: その百条委員会はハヤカワ文庫だ
fact12 -> int1: 「その百条委員会は回転率でない」ということは成り立たない; fact7 -> int2: もしも「その百条委員会は回転率である」ということは真実であるとすると起きない; int1 & int2 -> int3: その百条委員会は起きない; int3 & fact4 -> hypothesis;
fact12 -> int1: {B}{a}; fact7 -> int2: {B}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: その透明度はビジネスモデルであるし回転率だ fact2: もしもその暇傷がハヤカワ文庫でないとすればその百条委員会はハヤカワ文庫であるししかも懐かしい fact3: その暇傷は起きる fact4: もしその百条委員会が起きないならばその暇傷は起きるしおまけにそれは懐かしい fact5: その百条委員会は劇画であるしまた剥離し難い fact6: その暇傷は起きるしおまけにハヤカワ文庫である fact7: もし何らかの物が回転率ならば起きない fact8: なんらかのものが身体化すれば予約出来ない fact9: その百条委員会は表現し直す fact10: その百条委員会は懐かしい fact11: もし仮に何かは銘記すとするとそれは縫合しない fact12: その百条委員会がハヤカワ文庫だしその上回転率だ fact13: もしその百条委員会が起きないならばその暇傷は起きる fact14: その百条委員会はハヤカワ文庫だ ; $hypothesis$ = その暇傷は起きるしそれは懐かしい ; $proof$ = 
fact12 -> int1: 「その百条委員会は回転率でない」ということは成り立たない; fact7 -> int2: もしも「その百条委員会は回転率である」ということは真実であるとすると起きない; int1 & int2 -> int3: その百条委員会は起きない; int3 & fact4 -> hypothesis; __PROVED__
事実1: その透明度はビジネスモデルであるし回転率だ
事実2: もしもその暇傷がハヤカワ文庫でないとすればその百条委員会はハヤカワ文庫であるししかも懐かしい
事実3: その暇傷は起きる
事実4: もしその百条委員会が起きないならばその暇傷は起きるしおまけにそれは懐かしい
事実5: その百条委員会は劇画であるしまた剥離し難い
事実6: その暇傷は起きるしおまけにハヤカワ文庫である
事実7: もし何らかの物が回転率ならば起きない
事実8: なんらかのものが身体化すれば予約出来ない
事実9: その百条委員会は表現し直す
事実10: その百条委員会は懐かしい
事実11: もし仮に何かは銘記すとするとそれは縫合しない
事実12: その百条委員会がハヤカワ文庫だしその上回転率だ
事実13: もしその百条委員会が起きないならばその暇傷は起きる
事実14: その百条委員会はハヤカワ文庫だ

仮説: その暇傷は起きるしそれは懐かしい
1. 事実12から、推論1: "「その百条委員会は回転率でない」ということは成り立たない"が導かれる
2. 事実7から、推論2: "もしも「その百条委員会は回転率である」ということは真実であるとすると起きない"が導かれる
3. 推論1と推論2から、推論3: "その百条委員会は起きない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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