この肉付けは食らわない
fact1: この肉付けは焼き付くししかも経済指導である fact2: 「この機知は娘らしい」ということは正しい fact3: もしもこの肉付けは食らわないならば「それはアロマキャンドルで娘らしい」ということは成り立つ fact4: この肉付けは新開発である fact5: 「もし仮に「とあるものは娘らしい」ということは本当であるとしたらそれは注力しない」ということは確かだ fact6: この肉付けは同封しないがしかしそれは考察出来る fact7: もし仮に何らかのものは同封するし考察出来るとするとそれは注力する fact8: もしなにがしかの物が同封するとしたら食らわないけど注力する fact9: 仮にとあるものが同封しないけどそれが考察出来るとするとそれは注力する
void -> assump1: 以下のように仮定する。この肉付けは食らわない; fact3 & assump1 -> int1: この肉付けはアロマキャンドルであるし娘らしい; int1 -> int2: この肉付けは娘らしい; fact5 -> int3: もし仮にこの肉付けは娘らしいとしたら「注力しない」ということは事実である; int2 & int3 -> int4: この肉付けは注力しない; fact9 -> int5: この肉付けは同封しないがしかし考察出来るとすれば注力する; fact6 & int5 -> int6: この肉付けは注力する; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この肉付けは食らわない
fact10 -> int8: この肉付けが同封するとすれば食らわないし注力する;
$facts$ = fact1: この肉付けは焼き付くししかも経済指導である fact2: 「この機知は娘らしい」ということは正しい fact3: もしもこの肉付けは食らわないならば「それはアロマキャンドルで娘らしい」ということは成り立つ fact4: この肉付けは新開発である fact5: 「もし仮に「とあるものは娘らしい」ということは本当であるとしたらそれは注力しない」ということは確かだ fact6: この肉付けは同封しないがしかしそれは考察出来る fact7: もし仮に何らかのものは同封するし考察出来るとするとそれは注力する fact8: もしなにがしかの物が同封するとしたら食らわないけど注力する fact9: 仮にとあるものが同封しないけどそれが考察出来るとするとそれは注力する ; $hypothesis$ = この肉付けは食らわない ; $proof$ = 
void -> assump1: 以下のように仮定する。この肉付けは食らわない; fact3 & assump1 -> int1: この肉付けはアロマキャンドルであるし娘らしい; int1 -> int2: この肉付けは娘らしい; fact5 -> int3: もし仮にこの肉付けは娘らしいとしたら「注力しない」ということは事実である; int2 & int3 -> int4: この肉付けは注力しない; fact9 -> int5: この肉付けは同封しないがしかし考察出来るとすれば注力する; fact6 & int5 -> int6: この肉付けは注力する; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: この肉付けは焼き付くししかも経済指導である
事実2: 「この機知は娘らしい」ということは正しい
事実3: もしもこの肉付けは食らわないならば「それはアロマキャンドルで娘らしい」ということは成り立つ
事実4: この肉付けは新開発である
事実5: 「もし仮に「とあるものは娘らしい」ということは本当であるとしたらそれは注力しない」ということは確かだ
事実6: この肉付けは同封しないがしかしそれは考察出来る
事実7: もし仮に何らかのものは同封するし考察出来るとするとそれは注力する
事実8: もしなにがしかの物が同封するとしたら食らわないけど注力する
事実9: 仮にとあるものが同封しないけどそれが考察出来るとするとそれは注力する

仮説: この肉付けは食らわない
1. 仮定1: 以下のように仮定する。この肉付けは食らわない
2. 事実3と仮定1から、推論1: "この肉付けはアロマキャンドルであるし娘らしい"が導かれる
3. 推論1から、推論2: "この肉付けは娘らしい"が導かれる
4. 事実5から、推論3: "もし仮にこの肉付けは娘らしいとしたら「注力しない」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "この肉付けは注力しない"が導かれる
6. 事実9から、推論5: "この肉付けは同封しないがしかし考察出来るとすれば注力する"が導かれる
7. 事実6と推論5から、推論6: "この肉付けは注力する"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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