仮にこの寿屋が垂直移動するならこのバンキングは金融業者でない
fact1: このバンキングが貯蓄するとするとこの寿屋は金融業者でない fact2: 仮にこの寿屋が貯蓄するしかつ垂直移動するとすればあのバンキングは金融業者でない fact3: その平叙文は垂直移動しない fact4: この寿屋は貯蓄する fact5: この寿屋は苛々し易い fact6: 仮にこの寿屋が金融業者であるしおまけに垂直移動するとするとこのバンキングは貯蓄しない fact7: 「このバンキングは貯蓄する」ということは正しい fact8: 仮にこの寿屋が垂直移動するならこのバンキングは金融業者だ fact9: このバンキングは垂直移動する fact10: もし仮にこの寿屋が貯蓄するしその上金融業者ならばこのバンキングは垂直移動しない fact11: もしなんらかの物が垂直移動しないとするとそれは貯蓄するし郵送する fact12: このデフレーターは貯蓄する fact13: もし仮にこの寿屋は貯蓄するし垂直移動するとしたら「このバンキングは金融業者だ」ということは成り立つ fact14: このバンキングが垂直移動するしおまけに貯蓄するならこの寿屋は金融業者でない fact15: もしも「この寿屋は金融業者である」ということは成り立つとするとこのバンキングは垂直移動しない fact16: このバンキングは金融業者である
void -> assump1: 以下のように仮定する。この寿屋は垂直移動する; fact4 & assump1 -> int1: この寿屋は貯蓄するしその上垂直移動する; int1 & fact2 -> int2: このバンキングは金融業者でない; [assump1] & int2 -> hypothesis;
void -> assump1: {B}{a}; fact4 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; [assump1] & int2 -> hypothesis;
このバンキングは郵送するしブルーフィルムである
fact17 -> int3: もし仮にこのバンキングが垂直移動しないなら貯蓄するししかも郵送する;
$facts$ = fact1: このバンキングが貯蓄するとするとこの寿屋は金融業者でない fact2: 仮にこの寿屋が貯蓄するしかつ垂直移動するとすればあのバンキングは金融業者でない fact3: その平叙文は垂直移動しない fact4: この寿屋は貯蓄する fact5: この寿屋は苛々し易い fact6: 仮にこの寿屋が金融業者であるしおまけに垂直移動するとするとこのバンキングは貯蓄しない fact7: 「このバンキングは貯蓄する」ということは正しい fact8: 仮にこの寿屋が垂直移動するならこのバンキングは金融業者だ fact9: このバンキングは垂直移動する fact10: もし仮にこの寿屋が貯蓄するしその上金融業者ならばこのバンキングは垂直移動しない fact11: もしなんらかの物が垂直移動しないとするとそれは貯蓄するし郵送する fact12: このデフレーターは貯蓄する fact13: もし仮にこの寿屋は貯蓄するし垂直移動するとしたら「このバンキングは金融業者だ」ということは成り立つ fact14: このバンキングが垂直移動するしおまけに貯蓄するならこの寿屋は金融業者でない fact15: もしも「この寿屋は金融業者である」ということは成り立つとするとこのバンキングは垂直移動しない fact16: このバンキングは金融業者である ; $hypothesis$ = 仮にこの寿屋が垂直移動するならこのバンキングは金融業者でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この寿屋は垂直移動する; fact4 & assump1 -> int1: この寿屋は貯蓄するしその上垂直移動する; int1 & fact2 -> int2: このバンキングは金融業者でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: このバンキングが貯蓄するとするとこの寿屋は金融業者でない
事実2: 仮にこの寿屋が貯蓄するしかつ垂直移動するとすればあのバンキングは金融業者でない
事実3: その平叙文は垂直移動しない
事実4: この寿屋は貯蓄する
事実5: この寿屋は苛々し易い
事実6: 仮にこの寿屋が金融業者であるしおまけに垂直移動するとするとこのバンキングは貯蓄しない
事実7: 「このバンキングは貯蓄する」ということは正しい
事実8: 仮にこの寿屋が垂直移動するならこのバンキングは金融業者だ
事実9: このバンキングは垂直移動する
事実10: もし仮にこの寿屋が貯蓄するしその上金融業者ならばこのバンキングは垂直移動しない
事実11: もしなんらかの物が垂直移動しないとするとそれは貯蓄するし郵送する
事実12: このデフレーターは貯蓄する
事実13: もし仮にこの寿屋は貯蓄するし垂直移動するとしたら「このバンキングは金融業者だ」ということは成り立つ
事実14: このバンキングが垂直移動するしおまけに貯蓄するならこの寿屋は金融業者でない
事実15: もしも「この寿屋は金融業者である」ということは成り立つとするとこのバンキングは垂直移動しない
事実16: このバンキングは金融業者である

仮説: 仮にこの寿屋が垂直移動するならこのバンキングは金融業者でない
1. 仮定1: 以下のように仮定する。この寿屋は垂直移動する
2. 事実4と仮定1から、推論1: "この寿屋は貯蓄するしその上垂直移動する"が導かれる
3. 推論1と事実2から、推論2: "このバンキングは金融業者でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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