あのグランドピアノは勝ち易いということはない
fact1: もしあのグランドピアノはぎごちなくないとするとそれは勝ち易くない fact2: もし「「書き殴るが勝ち易くない」ということは誤りな」ものがあるならあのグランドピアノは書き殴らない fact3: 「「あのグランドピアノはぎごちないししかもタバコ代だ」ということは成り立たない」ということは確かである fact4: あのグランドピアノは当該箇所だということはない fact5: 「その低カロリー食は勝ち易くない」ということは本当である fact6: この小型はタバコ代でない fact7: 「あのグランドピアノは厳選しない」ということは成り立つ fact8: もし仮に「ある物は思し一方で長しない」ということは成り立つということはないとすれば悲しまない fact9: その暦は勝ち易くない fact10: この緑布は思ししそれに悲しむ fact11: 仮に「あのグランドピアノはぎごちないしその上タバコ代である」ということは間違いならば勝ち易くない fact12: もしこの緑布は悲しめば「ナビゲートする」ということは嘘であるということはない fact13: もし「その要請書は半解凍するしおまけにそれは海藻である」ということは誤っているならそれはぎごちなくない fact14: あのグランドピアノは要介護状態区分でない fact15: その一坑は思しないしそれは放出しない fact16: この居宅支援サービス費はぎごちなくない fact17: もしある物は難詰するなら「書き殴るしその上それは勝ち易くない」ということは誤りだ fact18: もしも何らかのものはナビゲートしないなら「それは勝ち易いしそれに難詰する」ということは本当だ fact19: もしもこの緑布が悲しまないとするとあのグランドピアノはナビゲートしない fact20: 仮にとある物はナビゲートするとすると「難詰する」ということは確かだ fact21: もしも「あのグランドピアノが来日中だしまた勝ち易い」ということは間違いであるとしたら「それは物質化しない」ということは正しい
fact11 & fact3 -> hypothesis;
fact11 & fact3 -> hypothesis;
あのグランドピアノは勝ち易い
fact24 -> int1: もしあのグランドピアノがナビゲートしないとすれば勝ち易くてそれは難詰する; fact22 -> int2: 「この緑布は思しがそれは長しない」ということは成り立たないとすればそれは悲しまない; fact23 -> int3: その一坑は思しない; int3 -> int4: 「思しない」物はある;
$facts$ = fact1: もしあのグランドピアノはぎごちなくないとするとそれは勝ち易くない fact2: もし「「書き殴るが勝ち易くない」ということは誤りな」ものがあるならあのグランドピアノは書き殴らない fact3: 「「あのグランドピアノはぎごちないししかもタバコ代だ」ということは成り立たない」ということは確かである fact4: あのグランドピアノは当該箇所だということはない fact5: 「その低カロリー食は勝ち易くない」ということは本当である fact6: この小型はタバコ代でない fact7: 「あのグランドピアノは厳選しない」ということは成り立つ fact8: もし仮に「ある物は思し一方で長しない」ということは成り立つということはないとすれば悲しまない fact9: その暦は勝ち易くない fact10: この緑布は思ししそれに悲しむ fact11: 仮に「あのグランドピアノはぎごちないしその上タバコ代である」ということは間違いならば勝ち易くない fact12: もしこの緑布は悲しめば「ナビゲートする」ということは嘘であるということはない fact13: もし「その要請書は半解凍するしおまけにそれは海藻である」ということは誤っているならそれはぎごちなくない fact14: あのグランドピアノは要介護状態区分でない fact15: その一坑は思しないしそれは放出しない fact16: この居宅支援サービス費はぎごちなくない fact17: もしある物は難詰するなら「書き殴るしその上それは勝ち易くない」ということは誤りだ fact18: もしも何らかのものはナビゲートしないなら「それは勝ち易いしそれに難詰する」ということは本当だ fact19: もしもこの緑布が悲しまないとするとあのグランドピアノはナビゲートしない fact20: 仮にとある物はナビゲートするとすると「難詰する」ということは確かだ fact21: もしも「あのグランドピアノが来日中だしまた勝ち易い」ということは間違いであるとしたら「それは物質化しない」ということは正しい ; $hypothesis$ = あのグランドピアノは勝ち易いということはない ; $proof$ = 
fact11 & fact3 -> hypothesis; __PROVED__
事実1: もしあのグランドピアノはぎごちなくないとするとそれは勝ち易くない
事実2: もし「「書き殴るが勝ち易くない」ということは誤りな」ものがあるならあのグランドピアノは書き殴らない
事実3: 「「あのグランドピアノはぎごちないししかもタバコ代だ」ということは成り立たない」ということは確かである
事実4: あのグランドピアノは当該箇所だということはない
事実5: 「その低カロリー食は勝ち易くない」ということは本当である
事実6: この小型はタバコ代でない
事実7: 「あのグランドピアノは厳選しない」ということは成り立つ
事実8: もし仮に「ある物は思し一方で長しない」ということは成り立つということはないとすれば悲しまない
事実9: その暦は勝ち易くない
事実10: この緑布は思ししそれに悲しむ
事実11: 仮に「あのグランドピアノはぎごちないしその上タバコ代である」ということは間違いならば勝ち易くない
事実12: もしこの緑布は悲しめば「ナビゲートする」ということは嘘であるということはない
事実13: もし「その要請書は半解凍するしおまけにそれは海藻である」ということは誤っているならそれはぎごちなくない
事実14: あのグランドピアノは要介護状態区分でない
事実15: その一坑は思しないしそれは放出しない
事実16: この居宅支援サービス費はぎごちなくない
事実17: もしある物は難詰するなら「書き殴るしその上それは勝ち易くない」ということは誤りだ
事実18: もしも何らかのものはナビゲートしないなら「それは勝ち易いしそれに難詰する」ということは本当だ
事実19: もしもこの緑布が悲しまないとするとあのグランドピアノはナビゲートしない
事実20: 仮にとある物はナビゲートするとすると「難詰する」ということは確かだ
事実21: もしも「あのグランドピアノが来日中だしまた勝ち易い」ということは間違いであるとしたら「それは物質化しない」ということは正しい

仮説: あのグランドピアノは勝ち易いということはない
1. 事実11と事実3から、仮説が導かれる

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