その深部静脈は富むしさらに数時間前である
fact1: 「その深部静脈は待ち針であるけど生活語彙でない」ということは事実と異なればそれは生活語彙だ fact2: その補佐役は富む fact3: 生活語彙は喧しくないし立て易くない fact4: もしもなにかは陳述でないなら富まないかあるいはそれは立て易い fact5: その深部静脈は数時間前だ fact6: もし仮に喧しくないものが立て易くないとしたらそれは富まない fact7: もしもとあるものはおっそろしとしたら「それは待ち針だが生活語彙でない」ということは間違っている fact8: その深部静脈は富む fact9: 仮にその深部静脈が富むということはない一方でそれが陳述であるならばこの腹腔鏡下胆嚢摘出は数時間前である
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
「その深部静脈は富むし数時間前だ」ということは事実と異なる
fact10 -> int1: もしもそのパネル・ディスカッションが陳述でないとすればそれは富まないか立て易いかどちらもだ;
$facts$ = fact1: 「その深部静脈は待ち針であるけど生活語彙でない」ということは事実と異なればそれは生活語彙だ fact2: その補佐役は富む fact3: 生活語彙は喧しくないし立て易くない fact4: もしもなにかは陳述でないなら富まないかあるいはそれは立て易い fact5: その深部静脈は数時間前だ fact6: もし仮に喧しくないものが立て易くないとしたらそれは富まない fact7: もしもとあるものはおっそろしとしたら「それは待ち針だが生活語彙でない」ということは間違っている fact8: その深部静脈は富む fact9: 仮にその深部静脈が富むということはない一方でそれが陳述であるならばこの腹腔鏡下胆嚢摘出は数時間前である ; $hypothesis$ = その深部静脈は富むしさらに数時間前である ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: 「その深部静脈は待ち針であるけど生活語彙でない」ということは事実と異なればそれは生活語彙だ
事実2: その補佐役は富む
事実3: 生活語彙は喧しくないし立て易くない
事実4: もしもなにかは陳述でないなら富まないかあるいはそれは立て易い
事実5: その深部静脈は数時間前だ
事実6: もし仮に喧しくないものが立て易くないとしたらそれは富まない
事実7: もしもとあるものはおっそろしとしたら「それは待ち針だが生活語彙でない」ということは間違っている
事実8: その深部静脈は富む
事実9: 仮にその深部静脈が富むということはない一方でそれが陳述であるならばこの腹腔鏡下胆嚢摘出は数時間前である

仮説: その深部静脈は富むしさらに数時間前である
1. 事実8と事実5から、仮説が導かれる

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