この分泌量は移せない
fact1: もしこの分泌量が移せるならその木枕は移せる fact2: もしもなんらかのものは小憎らしくて立体角であるならマンタであるということはない fact3: その二千年初頭は目まぐるしくて加えて織る fact4: すべてのものはＥボタンでないが接合である fact5: その西春別Ａ・Ｂはしいんとするし軟らかい fact6: もしその木枕は移せるしそれにしいんとするとすると「織らない」ということは事実だ fact7: もしも「その唐辛子味噌は織る」ということは本当ならばこの分泌量は織る fact8: 心苦しいものが移せるとするとそれは織らない fact9: この分泌量は鈍くない fact10: もし仮に「その木枕は移せる」ということは成り立つとしたら「この分泌量は移せる」ということは正しい fact11: その木枕は険しい fact12: その木枕が誇らしいならばあの唐辛子味噌はしいんとする fact13: この分泌量は心苦しい fact14: もしその木枕がしいんとするならその唐辛子味噌は織る fact15: その木枕はしいんとする fact16: 仮に何らかの物が織るということはないならそれは移せるかもしくはそれは心苦しい fact17: 「「Ｅボタンでない」ものがあるとするとその木枕はしいんとするかそれは誇らしいかまたは両方ともだ」ということは成り立つ fact18: 仮に「なにかは移せるしまたそれはしいんとする」ということは確かなら「心苦しいということはない」ということは本当である fact19: あの二週間以内はしいんとする fact20: 仮になんらかのものはしいんとするなら「それは織らない」ということは確かである
void -> assump1: 以下のように仮定する。この分泌量は移せる; fact13 & assump1 -> int1: この分泌量は心苦しいしさらに移せる; fact8 -> int2: この分泌量が心苦しくて更にそれが移せるとするとそれは織るということはない; int1 & int2 -> int3: この分泌量は織るということはない; fact15 & fact14 -> int4: その唐辛子味噌は織る; int4 & fact7 -> int5: この分泌量は織る; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この分泌量は移せる
fact24 -> int7: もし仮にその唐辛子味噌はしいんとするとすると「それは織るということはない」ということは事実である; fact21 -> int8: この変数ＩはＥボタンでない一方で接合である; int8 -> int9: この変数ＩはＥボタンだということはない; int9 -> int10: 「全てはＥボタンでない」ということは事実である; int10 -> int11: あの本人同士はＥボタンでない; int11 -> int12: 「「Ｅボタンでない」ということは成り立つ」物はある; int12 & fact25 -> int13: その木枕はしいんとするかまたは誇らしい; fact22 -> int14: もしその唐辛子味噌が織るということはないならそれは移せるかもしくはそれは心苦しいか両方ともである;
$facts$ = fact1: もしこの分泌量が移せるならその木枕は移せる fact2: もしもなんらかのものは小憎らしくて立体角であるならマンタであるということはない fact3: その二千年初頭は目まぐるしくて加えて織る fact4: すべてのものはＥボタンでないが接合である fact5: その西春別Ａ・Ｂはしいんとするし軟らかい fact6: もしその木枕は移せるしそれにしいんとするとすると「織らない」ということは事実だ fact7: もしも「その唐辛子味噌は織る」ということは本当ならばこの分泌量は織る fact8: 心苦しいものが移せるとするとそれは織らない fact9: この分泌量は鈍くない fact10: もし仮に「その木枕は移せる」ということは成り立つとしたら「この分泌量は移せる」ということは正しい fact11: その木枕は険しい fact12: その木枕が誇らしいならばあの唐辛子味噌はしいんとする fact13: この分泌量は心苦しい fact14: もしその木枕がしいんとするならその唐辛子味噌は織る fact15: その木枕はしいんとする fact16: 仮に何らかの物が織るということはないならそれは移せるかもしくはそれは心苦しい fact17: 「「Ｅボタンでない」ものがあるとするとその木枕はしいんとするかそれは誇らしいかまたは両方ともだ」ということは成り立つ fact18: 仮に「なにかは移せるしまたそれはしいんとする」ということは確かなら「心苦しいということはない」ということは本当である fact19: あの二週間以内はしいんとする fact20: 仮になんらかのものはしいんとするなら「それは織らない」ということは確かである ; $hypothesis$ = この分泌量は移せない ; $proof$ = 
void -> assump1: 以下のように仮定する。この分泌量は移せる; fact13 & assump1 -> int1: この分泌量は心苦しいしさらに移せる; fact8 -> int2: この分泌量が心苦しくて更にそれが移せるとするとそれは織るということはない; int1 & int2 -> int3: この分泌量は織るということはない; fact15 & fact14 -> int4: その唐辛子味噌は織る; int4 & fact7 -> int5: この分泌量は織る; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしこの分泌量が移せるならその木枕は移せる
事実2: もしもなんらかのものは小憎らしくて立体角であるならマンタであるということはない
事実3: その二千年初頭は目まぐるしくて加えて織る
事実4: すべてのものはＥボタンでないが接合である
事実5: その西春別Ａ・Ｂはしいんとするし軟らかい
事実6: もしその木枕は移せるしそれにしいんとするとすると「織らない」ということは事実だ
事実7: もしも「その唐辛子味噌は織る」ということは本当ならばこの分泌量は織る
事実8: 心苦しいものが移せるとするとそれは織らない
事実9: この分泌量は鈍くない
事実10: もし仮に「その木枕は移せる」ということは成り立つとしたら「この分泌量は移せる」ということは正しい
事実11: その木枕は険しい
事実12: その木枕が誇らしいならばあの唐辛子味噌はしいんとする
事実13: この分泌量は心苦しい
事実14: もしその木枕がしいんとするならその唐辛子味噌は織る
事実15: その木枕はしいんとする
事実16: 仮に何らかの物が織るということはないならそれは移せるかもしくはそれは心苦しい
事実17: 「「Ｅボタンでない」ものがあるとするとその木枕はしいんとするかそれは誇らしいかまたは両方ともだ」ということは成り立つ
事実18: 仮に「なにかは移せるしまたそれはしいんとする」ということは確かなら「心苦しいということはない」ということは本当である
事実19: あの二週間以内はしいんとする
事実20: 仮になんらかのものはしいんとするなら「それは織らない」ということは確かである

仮説: この分泌量は移せない
1. 仮定1: 以下のように仮定する。この分泌量は移せる
2. 事実13と仮定1から、推論1: "この分泌量は心苦しいしさらに移せる"が導かれる
3. 事実8から、推論2: "この分泌量が心苦しくて更にそれが移せるとするとそれは織るということはない"が導かれる
4. 推論1と推論2から、推論3: "この分泌量は織るということはない"が導かれる
5. 事実15と事実14から、推論4: "その唐辛子味噌は織る"が導かれる
6. 推論4と事実7から、推論5: "この分泌量は織る"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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