その燻銀は大人っぽい
fact1: もし仮にこの選択集が続き易いとしたらその譲渡損益調整資産は鬱だ fact2: もし仮に介護度が続き易いということはないとするとその大友軍は金属類だ fact3: その大友軍が偉くないかもしくは作家活動ならば「その譲渡損益調整資産は分化しない」ということは正しい fact4: もし仮に「この選択集は介護度だ一方で続き易くない」ということは事実でないならばその譲渡損益調整資産は鬱だ fact5: もしも金属類が鬱でないとすればそれは大人っぽくない fact6: 「その燻銀は捕らえ易い一方で御寄せ下さらない」ということは嘘だ fact7: とあるものは続き易くない fact8: もし「分化するし狭い」物があるとするとその譲渡損益調整資産は鬱でない fact9: もし仮にある物が分化しないが狭いならばその譲渡損益調整資産は鬱でない fact10: もしもその熊野灘は産出ならば「その燻銀は捕らえ易いということはなくてしかも御寄せ下さらない」ということは嘘だ fact11: 仮にその大友軍が金属類であるならその熊野灘は産出だ fact12: もし仮にこの選択集が産出でないがしかし捕らえ易いとすればその燻銀は産出だということはない fact13: 「分化しないしまた狭い」物はある fact14: 捕らえ易いものは大人っぽい fact15: 「分化しない」ものはある fact16: 「この法定協は思案するが産出でない」ということは偽だ fact17: その大友軍は偉くないかもしくは作家活動である fact18: この選択集は続き易いということはない fact19: その熊野灘は産出だとしたら「その燻銀は捕らえ易いけれど御寄せ下さらない」ということは間違っている fact20: 「「あるものは捕らえ易くないし更に御寄せ下さらない」ということは確かである」ということは成り立たないとするとそれは大人っぽい fact21: 「この選択集は介護度だし続き易い」ということは嘘だ fact22: もし仮にとある物が介護度だしそれが続き易いならばその大友軍は金属類だ fact23: もしもその燻銀が捕らえ易いとすると大人っぽい fact24: 何かは産出でないならそれは金属類であるし鬱でない
void -> assump1: 以下のように仮定する。「「この選択集は介護度である一方で続き易くない」ということは成り立たない」ということは真実である; fact4 & assump1 -> int1: その譲渡損益調整資産は鬱だ; fact13 & fact9 -> int2: その譲渡損益調整資産は鬱でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この選択集は介護度であるけど続き易いということはない; int4 -> int5: 続き易くない介護度はある; int5 & fact2 -> int6: その大友軍は金属類だ; int6 & fact11 -> int7: その熊野灘は産出だ; int7 & fact10 -> int8: 「「その燻銀は捕らえ易くないしかつ御寄せ下さらない」ということは成り立たない」ということは成り立つ; fact20 -> int9: もし仮に「その燻銀は捕らえ易くないしかつ御寄せ下さらない」ということは成り立たないとすればそれは大人っぽい; int8 & int9 -> hypothesis;
その燻銀は大人っぽくない
fact26 -> int10: もしもその燻銀が金属類であるけれどそれは鬱でないとしたらそれは大人っぽいということはない; fact29 -> int11: もしその燻銀が産出でないならばそれは金属類で鬱であるということはない; fact27 & fact25 -> int12: その譲渡損益調整資産は分化しない;
$facts$ = fact1: もし仮にこの選択集が続き易いとしたらその譲渡損益調整資産は鬱だ fact2: もし仮に介護度が続き易いということはないとするとその大友軍は金属類だ fact3: その大友軍が偉くないかもしくは作家活動ならば「その譲渡損益調整資産は分化しない」ということは正しい fact4: もし仮に「この選択集は介護度だ一方で続き易くない」ということは事実でないならばその譲渡損益調整資産は鬱だ fact5: もしも金属類が鬱でないとすればそれは大人っぽくない fact6: 「その燻銀は捕らえ易い一方で御寄せ下さらない」ということは嘘だ fact7: とあるものは続き易くない fact8: もし「分化するし狭い」物があるとするとその譲渡損益調整資産は鬱でない fact9: もし仮にある物が分化しないが狭いならばその譲渡損益調整資産は鬱でない fact10: もしもその熊野灘は産出ならば「その燻銀は捕らえ易いということはなくてしかも御寄せ下さらない」ということは嘘だ fact11: 仮にその大友軍が金属類であるならその熊野灘は産出だ fact12: もし仮にこの選択集が産出でないがしかし捕らえ易いとすればその燻銀は産出だということはない fact13: 「分化しないしまた狭い」物はある fact14: 捕らえ易いものは大人っぽい fact15: 「分化しない」ものはある fact16: 「この法定協は思案するが産出でない」ということは偽だ fact17: その大友軍は偉くないかもしくは作家活動である fact18: この選択集は続き易いということはない fact19: その熊野灘は産出だとしたら「その燻銀は捕らえ易いけれど御寄せ下さらない」ということは間違っている fact20: 「「あるものは捕らえ易くないし更に御寄せ下さらない」ということは確かである」ということは成り立たないとするとそれは大人っぽい fact21: 「この選択集は介護度だし続き易い」ということは嘘だ fact22: もし仮にとある物が介護度だしそれが続き易いならばその大友軍は金属類だ fact23: もしもその燻銀が捕らえ易いとすると大人っぽい fact24: 何かは産出でないならそれは金属類であるし鬱でない ; $hypothesis$ = その燻銀は大人っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この選択集は介護度である一方で続き易くない」ということは成り立たない」ということは真実である; fact4 & assump1 -> int1: その譲渡損益調整資産は鬱だ; fact13 & fact9 -> int2: その譲渡損益調整資産は鬱でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この選択集は介護度であるけど続き易いということはない; int4 -> int5: 続き易くない介護度はある; int5 & fact2 -> int6: その大友軍は金属類だ; int6 & fact11 -> int7: その熊野灘は産出だ; int7 & fact10 -> int8: 「「その燻銀は捕らえ易くないしかつ御寄せ下さらない」ということは成り立たない」ということは成り立つ; fact20 -> int9: もし仮に「その燻銀は捕らえ易くないしかつ御寄せ下さらない」ということは成り立たないとすればそれは大人っぽい; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮にこの選択集が続き易いとしたらその譲渡損益調整資産は鬱だ
事実2: もし仮に介護度が続き易いということはないとするとその大友軍は金属類だ
事実3: その大友軍が偉くないかもしくは作家活動ならば「その譲渡損益調整資産は分化しない」ということは正しい
事実4: もし仮に「この選択集は介護度だ一方で続き易くない」ということは事実でないならばその譲渡損益調整資産は鬱だ
事実5: もしも金属類が鬱でないとすればそれは大人っぽくない
事実6: 「その燻銀は捕らえ易い一方で御寄せ下さらない」ということは嘘だ
事実7: とあるものは続き易くない
事実8: もし「分化するし狭い」物があるとするとその譲渡損益調整資産は鬱でない
事実9: もし仮にある物が分化しないが狭いならばその譲渡損益調整資産は鬱でない
事実10: もしもその熊野灘は産出ならば「その燻銀は捕らえ易いということはなくてしかも御寄せ下さらない」ということは嘘だ
事実11: 仮にその大友軍が金属類であるならその熊野灘は産出だ
事実12: もし仮にこの選択集が産出でないがしかし捕らえ易いとすればその燻銀は産出だということはない
事実13: 「分化しないしまた狭い」物はある
事実14: 捕らえ易いものは大人っぽい
事実15: 「分化しない」ものはある
事実16: 「この法定協は思案するが産出でない」ということは偽だ
事実17: その大友軍は偉くないかもしくは作家活動である
事実18: この選択集は続き易いということはない
事実19: その熊野灘は産出だとしたら「その燻銀は捕らえ易いけれど御寄せ下さらない」ということは間違っている
事実20: 「「あるものは捕らえ易くないし更に御寄せ下さらない」ということは確かである」ということは成り立たないとするとそれは大人っぽい
事実21: 「この選択集は介護度だし続き易い」ということは嘘だ
事実22: もし仮にとある物が介護度だしそれが続き易いならばその大友軍は金属類だ
事実23: もしもその燻銀が捕らえ易いとすると大人っぽい
事実24: 何かは産出でないならそれは金属類であるし鬱でない

仮説: その燻銀は大人っぽい
1. 仮定1: 以下のように仮定する。「「この選択集は介護度である一方で続き易くない」ということは成り立たない」ということは真実である
2. 事実4と仮定1から、推論1: "その譲渡損益調整資産は鬱だ"が導かれる
3. 事実13と事実9から、推論2: "その譲渡損益調整資産は鬱でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この選択集は介護度であるけど続き易いということはない"が導かれる
6. 推論4から、推論5: "続き易くない介護度はある"が導かれる
7. 推論5と事実2から、推論6: "その大友軍は金属類だ"が導かれる
8. 推論6と事実11から、推論7: "その熊野灘は産出だ"が導かれる
9. 推論7と事実10から、推論8: "「「その燻銀は捕らえ易くないしかつ御寄せ下さらない」ということは成り立たない」ということは成り立つ"が導かれる
10. 事実20から、推論9: "もし仮に「その燻銀は捕らえ易くないしかつ御寄せ下さらない」ということは成り立たないとすればそれは大人っぽい"が導かれる
11. 推論8と推論9から、仮説が導かれる

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