そのコンポートはブランドらしくない
fact1: 仮に「そのコンポートはどうしても欲しい一方で屈しない」ということは本当ならこの見込み部分は直感だ fact2: 「この見込み部分は貯金口座であるしそれにそれはちかちかする」ということは誤っている fact3: 仮にある物が屈するならそれはブランドらしくない fact4: もし「この見込み部分が貯金口座だしまたちかちかする」ということは誤っているとしたら直感でない fact5: もし仮にとある物が直感だということはないがそれがちかちかすればそれはブランドらしい fact6: この葦は気付かないとすれば「この見込み部分は貯金口座であるかそれは本当らしくない」ということは成り立たない fact7: もしこの見込み部分が屈するしまたそれがブランドらしいとしたらそのコンポートは貯金口座である fact8: もしも「この見込み部分は貯金口座であるかあるいは本当らしくない」ということは間違いだとすればそのコンポートは貯金口座でない fact9: 「もし仮に「とある物はどうしても欲しいがしかしそれは屈しない」ということは成り立たないとするとそれはブランドらしくない」ということは事実である fact10: もし何かは貯金口座でないとすればそれは直感であるということはなくてそれはちかちかする
void -> assump1: 以下のように仮定する。そのコンポートはどうしても欲しいけれど屈しない; fact1 & assump1 -> int1: この見込み部分は直感である; fact4 & fact2 -> int2: この見込み部分は直感でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのコンポートはどうしても欲しいがしかし屈しない」ということは成り立たない; fact9 -> int5: 仮に「そのコンポートはどうしても欲しい一方で屈しない」ということは成り立たないならそれはブランドらしいということはない; int4 & int5 -> hypothesis;
そのコンポートはブランドらしい
fact12 -> int6: そのコンポートは直感でないけどちかちかするとするとブランドらしい; fact13 -> int7: もしそのコンポートが貯金口座でないならば直感でなくてそれはちかちかする;
$facts$ = fact1: 仮に「そのコンポートはどうしても欲しい一方で屈しない」ということは本当ならこの見込み部分は直感だ fact2: 「この見込み部分は貯金口座であるしそれにそれはちかちかする」ということは誤っている fact3: 仮にある物が屈するならそれはブランドらしくない fact4: もし「この見込み部分が貯金口座だしまたちかちかする」ということは誤っているとしたら直感でない fact5: もし仮にとある物が直感だということはないがそれがちかちかすればそれはブランドらしい fact6: この葦は気付かないとすれば「この見込み部分は貯金口座であるかそれは本当らしくない」ということは成り立たない fact7: もしこの見込み部分が屈するしまたそれがブランドらしいとしたらそのコンポートは貯金口座である fact8: もしも「この見込み部分は貯金口座であるかあるいは本当らしくない」ということは間違いだとすればそのコンポートは貯金口座でない fact9: 「もし仮に「とある物はどうしても欲しいがしかしそれは屈しない」ということは成り立たないとするとそれはブランドらしくない」ということは事実である fact10: もし何かは貯金口座でないとすればそれは直感であるということはなくてそれはちかちかする ; $hypothesis$ = そのコンポートはブランドらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのコンポートはどうしても欲しいけれど屈しない; fact1 & assump1 -> int1: この見込み部分は直感である; fact4 & fact2 -> int2: この見込み部分は直感でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのコンポートはどうしても欲しいがしかし屈しない」ということは成り立たない; fact9 -> int5: 仮に「そのコンポートはどうしても欲しい一方で屈しない」ということは成り立たないならそれはブランドらしいということはない; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮に「そのコンポートはどうしても欲しい一方で屈しない」ということは本当ならこの見込み部分は直感だ
事実2: 「この見込み部分は貯金口座であるしそれにそれはちかちかする」ということは誤っている
事実3: 仮にある物が屈するならそれはブランドらしくない
事実4: もし「この見込み部分が貯金口座だしまたちかちかする」ということは誤っているとしたら直感でない
事実5: もし仮にとある物が直感だということはないがそれがちかちかすればそれはブランドらしい
事実6: この葦は気付かないとすれば「この見込み部分は貯金口座であるかそれは本当らしくない」ということは成り立たない
事実7: もしこの見込み部分が屈するしまたそれがブランドらしいとしたらそのコンポートは貯金口座である
事実8: もしも「この見込み部分は貯金口座であるかあるいは本当らしくない」ということは間違いだとすればそのコンポートは貯金口座でない
事実9: 「もし仮に「とある物はどうしても欲しいがしかしそれは屈しない」ということは成り立たないとするとそれはブランドらしくない」ということは事実である
事実10: もし何かは貯金口座でないとすればそれは直感であるということはなくてそれはちかちかする

仮説: そのコンポートはブランドらしくない
1. 仮定1: 以下のように仮定する。そのコンポートはどうしても欲しいけれど屈しない
2. 事実1と仮定1から、推論1: "この見込み部分は直感である"が導かれる
3. 事実4と事実2から、推論2: "この見込み部分は直感でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのコンポートはどうしても欲しいがしかし屈しない」ということは成り立たない"が導かれる
6. 事実9から、推論5: "仮に「そのコンポートはどうしても欲しい一方で屈しない」ということは成り立たないならそれはブランドらしいということはない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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