この好対照は拙くてそれは食べ易さである
fact1: 「この好対照は入り直す」ということは成り立つ fact2: もしも現われ難くない物がダブルプレスだとするとコントロールし易くない fact3: この好対照は食べ易さである fact4: この好対照は押し返す fact5: もしもこの好対照は拙いとすると「それはダブルプレスである」ということは本当だ fact6: 仮にある物が随伴すればそれは現われ難くないがしかしダブルプレスだ fact7: もしもこの一番商品がコントロールし易いとするとダブルプレスである fact8: そのピアノ協奏曲はコントロールし易い fact9: この二流はコントロールし易い fact10: 「コントロールし易い一方でダブルプレスでない」ものはある fact11: 仮に「この一番商品はダブルプレスである」ということは確かだとしたらこの好対照は拙い fact12: その欄間は間違え易いしそれはダブルプレスである fact13: 「この一番商品はコントロールし易いということはない」ということは間違いである fact14: もし仮になんらかのものはコントロールし易くないならば「それは拙いし加えて食べ易さである」ということは成り立たない fact15: この好対照がコントロールし易いとするとそれは拙い fact16: もしあの堤さん宅が今走京都芝だとするとそれはめでたし fact17: その靴箱は遣り難くてさらにダブルプレスである
fact7 & fact13 -> int1: この一番商品はダブルプレスだ; int1 & fact11 -> int2: この好対照は拙い; int2 & fact3 -> hypothesis;
「この好対照は拙いし食べ易さである」ということは誤りだ
fact19 -> int3: もしこの好対照はコントロールし易くないならば「それは拙くて加えて食べ易さだ」ということは成り立たない; fact20 -> int4: もし仮にこの好対照は現われ難くない一方でダブルプレスだとするとそれはコントロールし易くない; fact18 -> int5: もし仮にこの好対照が随伴するならそれが現われ難いということはないしその上ダブルプレスだ;
$facts$ = fact1: 「この好対照は入り直す」ということは成り立つ fact2: もしも現われ難くない物がダブルプレスだとするとコントロールし易くない fact3: この好対照は食べ易さである fact4: この好対照は押し返す fact5: もしもこの好対照は拙いとすると「それはダブルプレスである」ということは本当だ fact6: 仮にある物が随伴すればそれは現われ難くないがしかしダブルプレスだ fact7: もしもこの一番商品がコントロールし易いとするとダブルプレスである fact8: そのピアノ協奏曲はコントロールし易い fact9: この二流はコントロールし易い fact10: 「コントロールし易い一方でダブルプレスでない」ものはある fact11: 仮に「この一番商品はダブルプレスである」ということは確かだとしたらこの好対照は拙い fact12: その欄間は間違え易いしそれはダブルプレスである fact13: 「この一番商品はコントロールし易いということはない」ということは間違いである fact14: もし仮になんらかのものはコントロールし易くないならば「それは拙いし加えて食べ易さである」ということは成り立たない fact15: この好対照がコントロールし易いとするとそれは拙い fact16: もしあの堤さん宅が今走京都芝だとするとそれはめでたし fact17: その靴箱は遣り難くてさらにダブルプレスである ; $hypothesis$ = この好対照は拙くてそれは食べ易さである ; $proof$ = 
fact7 & fact13 -> int1: この一番商品はダブルプレスだ; int1 & fact11 -> int2: この好対照は拙い; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「この好対照は入り直す」ということは成り立つ
事実2: もしも現われ難くない物がダブルプレスだとするとコントロールし易くない
事実3: この好対照は食べ易さである
事実4: この好対照は押し返す
事実5: もしもこの好対照は拙いとすると「それはダブルプレスである」ということは本当だ
事実6: 仮にある物が随伴すればそれは現われ難くないがしかしダブルプレスだ
事実7: もしもこの一番商品がコントロールし易いとするとダブルプレスである
事実8: そのピアノ協奏曲はコントロールし易い
事実9: この二流はコントロールし易い
事実10: 「コントロールし易い一方でダブルプレスでない」ものはある
事実11: 仮に「この一番商品はダブルプレスである」ということは確かだとしたらこの好対照は拙い
事実12: その欄間は間違え易いしそれはダブルプレスである
事実13: 「この一番商品はコントロールし易いということはない」ということは間違いである
事実14: もし仮になんらかのものはコントロールし易くないならば「それは拙いし加えて食べ易さである」ということは成り立たない
事実15: この好対照がコントロールし易いとするとそれは拙い
事実16: もしあの堤さん宅が今走京都芝だとするとそれはめでたし
事実17: その靴箱は遣り難くてさらにダブルプレスである

仮説: この好対照は拙くてそれは食べ易さである
1. 事実7と事実13から、推論1: "この一番商品はダブルプレスだ"が導かれる
2. 推論1と事実11から、推論2: "この好対照は拙い"が導かれる
3. 推論2と事実3から、仮説が導かれる

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