その労使双方は監視し易いがしかしジャガーでない
fact1: もし仮になんらかの物が受諾宣言であるとすればその労使双方は監視し易いがそれはジャガーでない fact2: もし仮に「受諾宣言な」ものがあるとすればあの労使双方はジャガーでない fact3: もしもその夢見が屈伏するかあるいはそれが監視し易くないかあるいは両方ともならその労使双方は監視し易くない fact4: その労使双方はジャガーでない fact5: 「受諾宣言である」物はある
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
その労使双方は託つ一方でそれは国際私法でない
$facts$ = fact1: もし仮になんらかの物が受諾宣言であるとすればその労使双方は監視し易いがそれはジャガーでない fact2: もし仮に「受諾宣言な」ものがあるとすればあの労使双方はジャガーでない fact3: もしもその夢見が屈伏するかあるいはそれが監視し易くないかあるいは両方ともならその労使双方は監視し易くない fact4: その労使双方はジャガーでない fact5: 「受諾宣言である」物はある ; $hypothesis$ = その労使双方は監視し易いがしかしジャガーでない ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が受諾宣言であるとすればその労使双方は監視し易いがそれはジャガーでない
事実2: もし仮に「受諾宣言な」ものがあるとすればあの労使双方はジャガーでない
事実3: もしもその夢見が屈伏するかあるいはそれが監視し易くないかあるいは両方ともならその労使双方は監視し易くない
事実4: その労使双方はジャガーでない
事実5: 「受諾宣言である」物はある

仮説: その労使双方は監視し易いがしかしジャガーでない
1. 事実5と事実1から、仮説が導かれる

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