あのウェスタンは変化し易い
fact1: この手洗い器は懐石だということはない fact2: もし「「流れ易い」物はある」ということは事実であるなら「その編集作業は流れ易くないし加えて集まらない」ということは間違っている fact3: もしも「この手洗い器は懐石でない」ということは事実ならばそれはフロント係で払い続ける fact4: 「とあるものは流れ易くないしそれに集まらない」ということは偽なら歩き辛いということはない fact5: もしも迷い難いということはない物は粘り強いとしたら「それは変化し易いということはない」ということは真実である fact6: もしもこの手洗い器がフロント係で払い続けるならこの組合活動は払い続けない fact7: その選択条件は迷い難い fact8: もしあのウェスタンが奏請すればそれはマウスだ fact9: この二十六日条は迷い難い fact10: 粘り強いものは迷い難い fact11: あのウェスタンは選任する fact12: もし仮に「この組合活動は払い続けない」ということは成り立てば疚しくない fact13: もしあのウェスタンは迷い難いなら「変化し易い」ということは成り立つ fact14: もし仮に「この練習問題は選任するということはないがリスト表示する」ということは成り立たないならその新入部員は選任する fact15: あのウェスタンは尤もらしい fact16: もし「この組合活動は訴う一方で溶け難くない」ということは間違っているとすればあの幕藩体制は流れ易い fact17: その編集作業が歩き辛くないとするとその国有は選任するし加えてそれは返済方法だ fact18: 「あのウェスタンは粘り強い」ということは真実だ fact19: もし仮にこの組合活動は疚しくないならば「それは訴うしさらに溶け難くない」ということは成り立たない fact20: 仮にその新入部員が選任するならあのウェスタンは迷い難くないが粘り強い fact21: もし仮にあのウェスタンは粘り強いとすると「それは愛唱歌でない」ということは間違いである fact22: あの二番抵当権は迷い難い
fact10 -> int1: 仮にあのウェスタンが粘り強いとすれば迷い難い; int1 & fact18 -> int2: あのウェスタンは迷い難い; int2 & fact13 -> hypothesis;
fact10 -> int1: {A}{aa} -> {C}{aa}; int1 & fact18 -> int2: {C}{aa}; int2 & fact13 -> hypothesis;
あのウェスタンは変化し易くない
fact31 -> int3: あのウェスタンが迷い難くないけどそれが粘り強いとすれば変化し易くない; fact25 -> int4: 仮に「その編集作業は流れ易くなくてそれにそれは集まらない」ということは事実と異なるならそれは歩き辛いということはない; fact34 & fact28 -> int5: この手洗い器はフロント係で払い続ける; fact24 & int5 -> int6: この組合活動は払い続けない; fact23 & int6 -> int7: この組合活動は疚しくない; fact27 & int7 -> int8: 「この組合活動は訴うけれど溶け難くない」ということは嘘だ; fact29 & int8 -> int9: この幕藩体制は流れ易い; int9 -> int10: 「流れ易い」ものはある; int10 & fact26 -> int11: 「その編集作業は流れ易くなくてしかも集まるということはない」ということは誤りである; int4 & int11 -> int12: その編集作業は歩き辛くない; fact33 & int12 -> int13: その国有は選任するし更に返済方法である; int13 -> int14: その国有は選任する; int14 -> int15: 「選任する」物はある;
$facts$ = fact1: この手洗い器は懐石だということはない fact2: もし「「流れ易い」物はある」ということは事実であるなら「その編集作業は流れ易くないし加えて集まらない」ということは間違っている fact3: もしも「この手洗い器は懐石でない」ということは事実ならばそれはフロント係で払い続ける fact4: 「とあるものは流れ易くないしそれに集まらない」ということは偽なら歩き辛いということはない fact5: もしも迷い難いということはない物は粘り強いとしたら「それは変化し易いということはない」ということは真実である fact6: もしもこの手洗い器がフロント係で払い続けるならこの組合活動は払い続けない fact7: その選択条件は迷い難い fact8: もしあのウェスタンが奏請すればそれはマウスだ fact9: この二十六日条は迷い難い fact10: 粘り強いものは迷い難い fact11: あのウェスタンは選任する fact12: もし仮に「この組合活動は払い続けない」ということは成り立てば疚しくない fact13: もしあのウェスタンは迷い難いなら「変化し易い」ということは成り立つ fact14: もし仮に「この練習問題は選任するということはないがリスト表示する」ということは成り立たないならその新入部員は選任する fact15: あのウェスタンは尤もらしい fact16: もし「この組合活動は訴う一方で溶け難くない」ということは間違っているとすればあの幕藩体制は流れ易い fact17: その編集作業が歩き辛くないとするとその国有は選任するし加えてそれは返済方法だ fact18: 「あのウェスタンは粘り強い」ということは真実だ fact19: もし仮にこの組合活動は疚しくないならば「それは訴うしさらに溶け難くない」ということは成り立たない fact20: 仮にその新入部員が選任するならあのウェスタンは迷い難くないが粘り強い fact21: もし仮にあのウェスタンは粘り強いとすると「それは愛唱歌でない」ということは間違いである fact22: あの二番抵当権は迷い難い ; $hypothesis$ = あのウェスタンは変化し易い ; $proof$ = 
fact10 -> int1: 仮にあのウェスタンが粘り強いとすれば迷い難い; int1 & fact18 -> int2: あのウェスタンは迷い難い; int2 & fact13 -> hypothesis; __PROVED__
事実1: この手洗い器は懐石だということはない
事実2: もし「「流れ易い」物はある」ということは事実であるなら「その編集作業は流れ易くないし加えて集まらない」ということは間違っている
事実3: もしも「この手洗い器は懐石でない」ということは事実ならばそれはフロント係で払い続ける
事実4: 「とあるものは流れ易くないしそれに集まらない」ということは偽なら歩き辛いということはない
事実5: もしも迷い難いということはない物は粘り強いとしたら「それは変化し易いということはない」ということは真実である
事実6: もしもこの手洗い器がフロント係で払い続けるならこの組合活動は払い続けない
事実7: その選択条件は迷い難い
事実8: もしあのウェスタンが奏請すればそれはマウスだ
事実9: この二十六日条は迷い難い
事実10: 粘り強いものは迷い難い
事実11: あのウェスタンは選任する
事実12: もし仮に「この組合活動は払い続けない」ということは成り立てば疚しくない
事実13: もしあのウェスタンは迷い難いなら「変化し易い」ということは成り立つ
事実14: もし仮に「この練習問題は選任するということはないがリスト表示する」ということは成り立たないならその新入部員は選任する
事実15: あのウェスタンは尤もらしい
事実16: もし「この組合活動は訴う一方で溶け難くない」ということは間違っているとすればあの幕藩体制は流れ易い
事実17: その編集作業が歩き辛くないとするとその国有は選任するし加えてそれは返済方法だ
事実18: 「あのウェスタンは粘り強い」ということは真実だ
事実19: もし仮にこの組合活動は疚しくないならば「それは訴うしさらに溶け難くない」ということは成り立たない
事実20: 仮にその新入部員が選任するならあのウェスタンは迷い難くないが粘り強い
事実21: もし仮にあのウェスタンは粘り強いとすると「それは愛唱歌でない」ということは間違いである
事実22: あの二番抵当権は迷い難い

仮説: あのウェスタンは変化し易い
1. 事実10から、推論1: "仮にあのウェスタンが粘り強いとすれば迷い難い"が導かれる
2. 推論1と事実18から、推論2: "あのウェスタンは迷い難い"が導かれる
3. 推論2と事実13から、仮説が導かれる

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