その脚立は守備面だ
fact1: もし仮に「看護婦長でない」物があるとしたらその二輪はベリリウムだ fact2: その二輪が守備面ならその脚立はベリリウムである fact3: 仮に「「看護婦長だし真ん丸くない」ということは成り立たない」物はあるとしたら「その二輪はベリリウムだ」ということは成り立つ fact4: 「「看護婦長だがしかし真ん丸いということはない」ということは成り立たない」物はある fact5: 仮に何らかの物が発行等でないとするとそれがベリリウムだし守備面でない fact6: 仮にその二輪がベリリウムであるならばその脚立は守備面である fact7: 仮になにがしかのものが寂しいとすればそれは発行等でなくて剥がれ易くない fact8: 「「ベリリウムでその上守備面でない」ということは成り立たない」ものはある fact9: もしもなんらかのものが剥がれ易くないとするとそれは発行等であるしかつ守備面だ
fact4 & fact3 -> int1: その二輪はベリリウムである; int1 & fact6 -> hypothesis;
その脚立は守備面でない
fact10 -> int2: 仮にその脚立が発行等でないならベリリウムだしそれに守備面であるということはない; fact11 -> int3: もしもその脚立が寂しいとするとそれは発行等でないしそれは剥がれ易いということはない;
$facts$ = fact1: もし仮に「看護婦長でない」物があるとしたらその二輪はベリリウムだ fact2: その二輪が守備面ならその脚立はベリリウムである fact3: 仮に「「看護婦長だし真ん丸くない」ということは成り立たない」物はあるとしたら「その二輪はベリリウムだ」ということは成り立つ fact4: 「「看護婦長だがしかし真ん丸いということはない」ということは成り立たない」物はある fact5: 仮に何らかの物が発行等でないとするとそれがベリリウムだし守備面でない fact6: 仮にその二輪がベリリウムであるならばその脚立は守備面である fact7: 仮になにがしかのものが寂しいとすればそれは発行等でなくて剥がれ易くない fact8: 「「ベリリウムでその上守備面でない」ということは成り立たない」ものはある fact9: もしもなんらかのものが剥がれ易くないとするとそれは発行等であるしかつ守備面だ ; $hypothesis$ = その脚立は守備面だ ; $proof$ = 
fact4 & fact3 -> int1: その二輪はベリリウムである; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「看護婦長でない」物があるとしたらその二輪はベリリウムだ
事実2: その二輪が守備面ならその脚立はベリリウムである
事実3: 仮に「「看護婦長だし真ん丸くない」ということは成り立たない」物はあるとしたら「その二輪はベリリウムだ」ということは成り立つ
事実4: 「「看護婦長だがしかし真ん丸いということはない」ということは成り立たない」物はある
事実5: 仮に何らかの物が発行等でないとするとそれがベリリウムだし守備面でない
事実6: 仮にその二輪がベリリウムであるならばその脚立は守備面である
事実7: 仮になにがしかのものが寂しいとすればそれは発行等でなくて剥がれ易くない
事実8: 「「ベリリウムでその上守備面でない」ということは成り立たない」ものはある
事実9: もしもなんらかのものが剥がれ易くないとするとそれは発行等であるしかつ守備面だ

仮説: その脚立は守備面だ
1. 事実4と事実3から、推論1: "その二輪はベリリウムである"が導かれる
2. 推論1と事実6から、仮説が導かれる

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