この身欠きは二レベルでないしかつうざくない
fact1: あるものが訝しくないとすればあのミニョネットは柔和であるし賢しい fact2: この身欠きは世界化する fact3: この身欠きは承服出来ない fact4: その天領杯はうざくないしさらにそれは訝しくない fact5: もしもあのミニョネットが通じ合わないしかつＮＩＡでないとしたらあの製品ブランドは二レベルでない fact6: あの製品ブランドはうざくないしおまけに世界化しないとするとあの成熟嚢胞性奇形腫は世界化しない fact7: とあるものは訝しくない fact8: もし何かは世界化するが塗り付けないとすれば二レベルでない fact9: この身欠きは世界化するが塗り付けない fact10: この身欠きはうざくない fact11: もし「なにがしかの物はＮＩＡでない」ということは真実であるならばうざいし通じ合う fact12: 「「罪深くないがしかし浮き易い」ということは誤りである」物があればあの製品ブランドはＮＩＡでない fact13: もしあのミニョネットは賢しいとしたら「それは罪深くない一方で浮き易い」ということは誤っている fact14: もし仮にとあるものは塗り付ける一方で二レベルでないとしたらそれはうざくない
fact8 -> int1: もしこの身欠きが世界化する一方で塗り付けないとすれば二レベルだということはない; int1 & fact9 -> int2: この身欠きは二レベルでない; int2 & fact10 -> hypothesis;
fact8 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact9 -> int2: ¬{B}{aa}; int2 & fact10 -> hypothesis;
「この身欠きは二レベルでないし加えてそれはうざくない」ということは間違いである
fact15 -> int3: もし仮にあの製品ブランドがＮＩＡでないとしたらそれはうざいししかもそれは通じ合う; fact18 & fact17 -> int4: あのミニョネットが柔和だししかもそれは賢しい; int4 -> int5: あのミニョネットは賢しい; fact16 & int5 -> int6: 「あのミニョネットは罪深くないけれど浮き易い」ということは成り立たない; int6 -> int7: 「「罪深くないけれど浮き易い」ということは成り立たない」物はある; int7 & fact19 -> int8: あの製品ブランドはＮＩＡでない; int3 & int8 -> int9: あの製品ブランドはうざいしそれに通じ合う; int9 -> int10: あの製品ブランドはうざい; int10 -> int11: 「うざい」ものはある;
$facts$ = fact1: あるものが訝しくないとすればあのミニョネットは柔和であるし賢しい fact2: この身欠きは世界化する fact3: この身欠きは承服出来ない fact4: その天領杯はうざくないしさらにそれは訝しくない fact5: もしもあのミニョネットが通じ合わないしかつＮＩＡでないとしたらあの製品ブランドは二レベルでない fact6: あの製品ブランドはうざくないしおまけに世界化しないとするとあの成熟嚢胞性奇形腫は世界化しない fact7: とあるものは訝しくない fact8: もし何かは世界化するが塗り付けないとすれば二レベルでない fact9: この身欠きは世界化するが塗り付けない fact10: この身欠きはうざくない fact11: もし「なにがしかの物はＮＩＡでない」ということは真実であるならばうざいし通じ合う fact12: 「「罪深くないがしかし浮き易い」ということは誤りである」物があればあの製品ブランドはＮＩＡでない fact13: もしあのミニョネットは賢しいとしたら「それは罪深くない一方で浮き易い」ということは誤っている fact14: もし仮にとあるものは塗り付ける一方で二レベルでないとしたらそれはうざくない ; $hypothesis$ = この身欠きは二レベルでないしかつうざくない ; $proof$ = 
fact8 -> int1: もしこの身欠きが世界化する一方で塗り付けないとすれば二レベルだということはない; int1 & fact9 -> int2: この身欠きは二レベルでない; int2 & fact10 -> hypothesis; __PROVED__
事実1: あるものが訝しくないとすればあのミニョネットは柔和であるし賢しい
事実2: この身欠きは世界化する
事実3: この身欠きは承服出来ない
事実4: その天領杯はうざくないしさらにそれは訝しくない
事実5: もしもあのミニョネットが通じ合わないしかつＮＩＡでないとしたらあの製品ブランドは二レベルでない
事実6: あの製品ブランドはうざくないしおまけに世界化しないとするとあの成熟嚢胞性奇形腫は世界化しない
事実7: とあるものは訝しくない
事実8: もし何かは世界化するが塗り付けないとすれば二レベルでない
事実9: この身欠きは世界化するが塗り付けない
事実10: この身欠きはうざくない
事実11: もし「なにがしかの物はＮＩＡでない」ということは真実であるならばうざいし通じ合う
事実12: 「「罪深くないがしかし浮き易い」ということは誤りである」物があればあの製品ブランドはＮＩＡでない
事実13: もしあのミニョネットは賢しいとしたら「それは罪深くない一方で浮き易い」ということは誤っている
事実14: もし仮にとあるものは塗り付ける一方で二レベルでないとしたらそれはうざくない

仮説: この身欠きは二レベルでないしかつうざくない
1. 事実8から、推論1: "もしこの身欠きが世界化する一方で塗り付けないとすれば二レベルだということはない"が導かれる
2. 推論1と事実9から、推論2: "この身欠きは二レベルでない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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