その大洋薬品は代替フィルムでない
fact1: もし仮にあのガスパルト・梁が非安定マルチバイブレータであるけれどそれが冬らしくないならその大洋薬品は代替フィルムであるということはない fact2: もしもあのガスパルト・梁が代替フィルムであるとしたらその大洋薬品は代替フィルムだ fact3: このマイクロマネジャーは損金経理するということはない fact4: もし仮に「あのＮＢ商品は代替フィルムでない一方でステアする」ということは本当でないとしたらそのマテリアルＩＤは代替フィルムだ fact5: 仮に「このマイクロマネジャーは脱帽するけれど併合しない」ということは間違いであるとするとその大蔵省印刷局は併合しない fact6: もし仮にそのマテリアルＩＤが代替フィルムであるならばあのガスパルト・梁は代替フィルムだ fact7: なにがしかの物は避け難くないなら「詳しいしおまけにそれは左右され易くない」ということは嘘でない fact8: もし仮にその大蔵省印刷局が併合しないとすればあのＮＢ商品は併合しない fact9: もし仮にこのマイクロマネジャーが脱帽するかもしくは慢心するということはないかまたは両方であるなら「それは脱帽する」ということは成り立つ fact10: もし仮に「このマイクロマネジャーは咎めないけど苛立たしい」ということは本当であるとするとその大蔵省印刷局は咎めない fact11: 「あのガスパルト・梁は非安定マルチバイブレータだがそれは冬らしくない」ということは成り立つ fact12: なにがしかのものが咎めないとすれば取り下げないが避け難い fact13: このマイクロマネジャーは損金経理しないとすれば「脱帽するけれど併合しない」ということは成り立たない fact14: もしなにがしかのものは避け難いとすると「代替フィルムでないがステアする」ということは誤りだ fact15: 仮にあのＮＢ商品は併合しないならば「苛立たしいしかつ咎める」ということは成り立つということはない fact16: 「あのＮＢ商品は苛立たしいしその上咎める」ということは間違っているとするとそのマテリアルＩＤは取り下げない fact17: もしこのマイクロマネジャーが脱帽するとするとそれは咎めないし更に併合しない fact18: もしその大蔵省印刷局が取り下げない一方で避け難いならばあのＮＢ商品は避け難い fact19: もしある物が取り下げないとすればそれはステアしない
fact1 & fact11 -> hypothesis;
その大洋薬品は代替フィルムである
fact21 -> int1: もし仮にあのＮＢ商品は避け難いなら「代替フィルムでない一方でステアする」ということは成り立たない; fact20 -> int2: もし「その大蔵省印刷局は咎めない」ということは誤りでないとしたらそれは取り下げないしまたそれは避け難い;
$facts$ = fact1: もし仮にあのガスパルト・梁が非安定マルチバイブレータであるけれどそれが冬らしくないならその大洋薬品は代替フィルムであるということはない fact2: もしもあのガスパルト・梁が代替フィルムであるとしたらその大洋薬品は代替フィルムだ fact3: このマイクロマネジャーは損金経理するということはない fact4: もし仮に「あのＮＢ商品は代替フィルムでない一方でステアする」ということは本当でないとしたらそのマテリアルＩＤは代替フィルムだ fact5: 仮に「このマイクロマネジャーは脱帽するけれど併合しない」ということは間違いであるとするとその大蔵省印刷局は併合しない fact6: もし仮にそのマテリアルＩＤが代替フィルムであるならばあのガスパルト・梁は代替フィルムだ fact7: なにがしかの物は避け難くないなら「詳しいしおまけにそれは左右され易くない」ということは嘘でない fact8: もし仮にその大蔵省印刷局が併合しないとすればあのＮＢ商品は併合しない fact9: もし仮にこのマイクロマネジャーが脱帽するかもしくは慢心するということはないかまたは両方であるなら「それは脱帽する」ということは成り立つ fact10: もし仮に「このマイクロマネジャーは咎めないけど苛立たしい」ということは本当であるとするとその大蔵省印刷局は咎めない fact11: 「あのガスパルト・梁は非安定マルチバイブレータだがそれは冬らしくない」ということは成り立つ fact12: なにがしかのものが咎めないとすれば取り下げないが避け難い fact13: このマイクロマネジャーは損金経理しないとすれば「脱帽するけれど併合しない」ということは成り立たない fact14: もしなにがしかのものは避け難いとすると「代替フィルムでないがステアする」ということは誤りだ fact15: 仮にあのＮＢ商品は併合しないならば「苛立たしいしかつ咎める」ということは成り立つということはない fact16: 「あのＮＢ商品は苛立たしいしその上咎める」ということは間違っているとするとそのマテリアルＩＤは取り下げない fact17: もしこのマイクロマネジャーが脱帽するとするとそれは咎めないし更に併合しない fact18: もしその大蔵省印刷局が取り下げない一方で避け難いならばあのＮＢ商品は避け難い fact19: もしある物が取り下げないとすればそれはステアしない ; $hypothesis$ = その大洋薬品は代替フィルムでない ; $proof$ = 
fact1 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にあのガスパルト・梁が非安定マルチバイブレータであるけれどそれが冬らしくないならその大洋薬品は代替フィルムであるということはない
事実2: もしもあのガスパルト・梁が代替フィルムであるとしたらその大洋薬品は代替フィルムだ
事実3: このマイクロマネジャーは損金経理するということはない
事実4: もし仮に「あのＮＢ商品は代替フィルムでない一方でステアする」ということは本当でないとしたらそのマテリアルＩＤは代替フィルムだ
事実5: 仮に「このマイクロマネジャーは脱帽するけれど併合しない」ということは間違いであるとするとその大蔵省印刷局は併合しない
事実6: もし仮にそのマテリアルＩＤが代替フィルムであるならばあのガスパルト・梁は代替フィルムだ
事実7: なにがしかの物は避け難くないなら「詳しいしおまけにそれは左右され易くない」ということは嘘でない
事実8: もし仮にその大蔵省印刷局が併合しないとすればあのＮＢ商品は併合しない
事実9: もし仮にこのマイクロマネジャーが脱帽するかもしくは慢心するということはないかまたは両方であるなら「それは脱帽する」ということは成り立つ
事実10: もし仮に「このマイクロマネジャーは咎めないけど苛立たしい」ということは本当であるとするとその大蔵省印刷局は咎めない
事実11: 「あのガスパルト・梁は非安定マルチバイブレータだがそれは冬らしくない」ということは成り立つ
事実12: なにがしかのものが咎めないとすれば取り下げないが避け難い
事実13: このマイクロマネジャーは損金経理しないとすれば「脱帽するけれど併合しない」ということは成り立たない
事実14: もしなにがしかのものは避け難いとすると「代替フィルムでないがステアする」ということは誤りだ
事実15: 仮にあのＮＢ商品は併合しないならば「苛立たしいしかつ咎める」ということは成り立つということはない
事実16: 「あのＮＢ商品は苛立たしいしその上咎める」ということは間違っているとするとそのマテリアルＩＤは取り下げない
事実17: もしこのマイクロマネジャーが脱帽するとするとそれは咎めないし更に併合しない
事実18: もしその大蔵省印刷局が取り下げない一方で避け難いならばあのＮＢ商品は避け難い
事実19: もしある物が取り下げないとすればそれはステアしない

仮説: その大洋薬品は代替フィルムでない
1. 事実1と事実11から、仮説が導かれる

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