その綿菓子は封建地代である
fact1: あの純粋培養は覚束無いしそれにそれは気持ち良い fact2: もし仮に気持ち良い物がコンピュータ化するとしたらその綿菓子は封建地代でない fact3: もしもあの純粋培養が乳色であるかあるいは覚束無くないとすればこのピアノソナタは乳色である fact4: あの純粋培養は伝わり易くないけど化成する fact5: あるものが気持ち良いなら覚束無い fact6: もしなにかは覚束無いとすればそれは封建地代だ fact7: もしもあの純粋培養が伝わり易くないがしかしそれが化成するとすればコンピュータ化する fact8: あの純粋培養は覚束無い
fact1 -> int1: 「あの純粋培養は気持ち良い」ということは正しい; fact7 & fact4 -> int2: 「あの純粋培養はコンピュータ化する」ということは誤りでない; int1 & int2 -> int3: あの純粋培養は気持ち良いし加えてコンピュータ化する; int3 -> int4: ある物は気持ち良くてそれにコンピュータ化する; int4 & fact2 -> hypothesis;
その綿菓子は封建地代だ
fact9 -> int5: 「その綿菓子が覚束無いならばあの綿菓子は封建地代だ」ということは成り立つ; fact10 -> int6: その綿菓子が気持ち良いなら覚束無い;
$facts$ = fact1: あの純粋培養は覚束無いしそれにそれは気持ち良い fact2: もし仮に気持ち良い物がコンピュータ化するとしたらその綿菓子は封建地代でない fact3: もしもあの純粋培養が乳色であるかあるいは覚束無くないとすればこのピアノソナタは乳色である fact4: あの純粋培養は伝わり易くないけど化成する fact5: あるものが気持ち良いなら覚束無い fact6: もしなにかは覚束無いとすればそれは封建地代だ fact7: もしもあの純粋培養が伝わり易くないがしかしそれが化成するとすればコンピュータ化する fact8: あの純粋培養は覚束無い ; $hypothesis$ = その綿菓子は封建地代である ; $proof$ = 
fact1 -> int1: 「あの純粋培養は気持ち良い」ということは正しい; fact7 & fact4 -> int2: 「あの純粋培養はコンピュータ化する」ということは誤りでない; int1 & int2 -> int3: あの純粋培養は気持ち良いし加えてコンピュータ化する; int3 -> int4: ある物は気持ち良くてそれにコンピュータ化する; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: あの純粋培養は覚束無いしそれにそれは気持ち良い
事実2: もし仮に気持ち良い物がコンピュータ化するとしたらその綿菓子は封建地代でない
事実3: もしもあの純粋培養が乳色であるかあるいは覚束無くないとすればこのピアノソナタは乳色である
事実4: あの純粋培養は伝わり易くないけど化成する
事実5: あるものが気持ち良いなら覚束無い
事実6: もしなにかは覚束無いとすればそれは封建地代だ
事実7: もしもあの純粋培養が伝わり易くないがしかしそれが化成するとすればコンピュータ化する
事実8: あの純粋培養は覚束無い

仮説: その綿菓子は封建地代である
1. 事実1から、推論1: "「あの純粋培養は気持ち良い」ということは正しい"が導かれる
2. 事実7と事実4から、推論2: "「あの純粋培養はコンピュータ化する」ということは誤りでない"が導かれる
3. 推論1と推論2から、推論3: "あの純粋培養は気持ち良いし加えてコンピュータ化する"が導かれる
4. 推論3から、推論4: "ある物は気持ち良くてそれにコンピュータ化する"が導かれる
5. 推論4と事実2から、仮説が否定される

よって、仮説が否定されました。