あの兵卒は試着室でない
fact1: もし仮にその老人医療が射通すとするとあの大動脈弁は寝転がる fact2: すべては射通す fact3: もしもあの兵卒が主にしないなら素っ気なくない fact4: もし仮にあの大動脈弁が納得し難いかあるいはそれが期末残高であるかまたは両方ならあの兵卒は主にするということはない fact5: もしもなにがしかのものが主にしないなら素っ気なくなくて試着室であるということはない fact6: 仮にあの大動脈弁が納得し難いとするとあの兵卒は主にするということはない fact7: その老人医療は主にしない fact8: 仮にあの大動脈弁が寝転がるとすると期末残高だ fact9: もし何らかのものが寝転がらないとしたら試着室であるし射通す
fact2 -> int1: その老人医療は射通す; int1 & fact1 -> int2: あの大動脈弁は寝転がる; int2 & fact8 -> int3: あの大動脈弁は期末残高である; int3 -> int4: あの大動脈弁は納得し難いかあるいはそれは期末残高である; int4 & fact4 -> int5: あの兵卒は主にしない; fact5 -> int6: もし仮に「あの兵卒は主にしない」ということは事実なら素っ気なくないしそれに試着室でない; int5 & int6 -> int7: あの兵卒は素っ気なくなくて試着室でない; int7 -> hypothesis;
その老人医療は試着室だ
fact10 -> int8: その老人医療が寝転がらないなら試着室で射通す;
$facts$ = fact1: もし仮にその老人医療が射通すとするとあの大動脈弁は寝転がる fact2: すべては射通す fact3: もしもあの兵卒が主にしないなら素っ気なくない fact4: もし仮にあの大動脈弁が納得し難いかあるいはそれが期末残高であるかまたは両方ならあの兵卒は主にするということはない fact5: もしもなにがしかのものが主にしないなら素っ気なくなくて試着室であるということはない fact6: 仮にあの大動脈弁が納得し難いとするとあの兵卒は主にするということはない fact7: その老人医療は主にしない fact8: 仮にあの大動脈弁が寝転がるとすると期末残高だ fact9: もし何らかのものが寝転がらないとしたら試着室であるし射通す ; $hypothesis$ = あの兵卒は試着室でない ; $proof$ = 
fact2 -> int1: その老人医療は射通す; int1 & fact1 -> int2: あの大動脈弁は寝転がる; int2 & fact8 -> int3: あの大動脈弁は期末残高である; int3 -> int4: あの大動脈弁は納得し難いかあるいはそれは期末残高である; int4 & fact4 -> int5: あの兵卒は主にしない; fact5 -> int6: もし仮に「あの兵卒は主にしない」ということは事実なら素っ気なくないしそれに試着室でない; int5 & int6 -> int7: あの兵卒は素っ気なくなくて試着室でない; int7 -> hypothesis; __PROVED__
事実1: もし仮にその老人医療が射通すとするとあの大動脈弁は寝転がる
事実2: すべては射通す
事実3: もしもあの兵卒が主にしないなら素っ気なくない
事実4: もし仮にあの大動脈弁が納得し難いかあるいはそれが期末残高であるかまたは両方ならあの兵卒は主にするということはない
事実5: もしもなにがしかのものが主にしないなら素っ気なくなくて試着室であるということはない
事実6: 仮にあの大動脈弁が納得し難いとするとあの兵卒は主にするということはない
事実7: その老人医療は主にしない
事実8: 仮にあの大動脈弁が寝転がるとすると期末残高だ
事実9: もし何らかのものが寝転がらないとしたら試着室であるし射通す

仮説: あの兵卒は試着室でない
1. 事実2から、推論1: "その老人医療は射通す"が導かれる
2. 推論1と事実1から、推論2: "あの大動脈弁は寝転がる"が導かれる
3. 推論2と事実8から、推論3: "あの大動脈弁は期末残高である"が導かれる
4. 推論3から、推論4: "あの大動脈弁は納得し難いかあるいはそれは期末残高である"が導かれる
5. 推論4と事実4から、推論5: "あの兵卒は主にしない"が導かれる
6. 事実5から、推論6: "もし仮に「あの兵卒は主にしない」ということは事実なら素っ気なくないしそれに試着室でない"が導かれる
7. 推論5と推論6から、推論7: "あの兵卒は素っ気なくなくて試着室でない"が導かれる
8. 推論7から、仮説が導かれる

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