「その作者は野良犬である」ということは本当である
fact1: その十九日付けは育ち難くない fact2: もしもあの襤褸布が野良犬でないとしたらその作者は関連するということはない fact3: あの襤褸布は訓練・指導でない fact4: もしもあの襤褸布は前駆物質なら「その十九日付けは生き生きしなくてセット出来るということはない」ということは偽である fact5: もしもあの襤褸布が野良犬でないとするとその作者は野良犬であるがしかし関連しない fact6: 「その十九日付けは成長しないし更に身体的自己だということはない」ということは誤りであるならばあの襤褸布は身体的自己だ fact7: もしもあの襤褸布が訓練・指導であるしその上前駆物質であるとしたらその作者は野良犬でない fact8: あの襤褸布が前駆物質だということはないならばそれは訓練・指導でない fact9: もしあの襤褸布は野良犬だとすると「その作者は訓練・指導であるけれどそれは生き生きしない」ということは誤りだ fact10: 「その十九日付けは生き生きする一方でセット出来ない」ということは偽である fact11: 仮にあの襤褸布は前駆物質であるならば「その十九日付けは生き生きしないけれどセット出来る」ということは成り立たない fact12: もし何らかの物は身体的自己であるならばそれはうら若しないけど漏れ無い fact13: 育ち難いということはないものは訓練・指導であるし前駆物質である fact14: ある物がうら若しないとしたら育ち難くないけれど関連する fact15: あの襤褸布が前駆物質だということはないなら野良犬でなくて更に訓練・指導でない fact16: もし仮にその十九日付けが育ち難くないならば生き生きしないしさらにセット出来るということはない fact17: あの襤褸布は前駆物質であるとすれば「その十九日付けは生き生きするけどセット出来ない」ということは誤っている
void -> assump1: 以下のように仮定する。「あの襤褸布は前駆物質である」ということは成り立つ; fact4 & assump1 -> int1: 「「その十九日付けは生き生きしないしそれはセット出来ない」ということは嘘であるということはない」ということは成り立たない; fact16 & fact1 -> int2: その十九日付けは生き生きしなくてその上セット出来ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの襤褸布は前駆物質でない; int4 & fact15 -> int5: 「あの襤褸布は野良犬でなくておまけに訓練・指導でない」ということは成り立つ; int5 -> int6: あの襤褸布は野良犬でない; int6 & fact5 -> int7: その作者は野良犬である一方で関連しない; int7 -> hypothesis;
その作者は野良犬でない
fact18 -> int8: もしあの襤褸布が育ち難くないならば訓練・指導であるし更に前駆物質である; fact22 -> int9: もしあの襤褸布がうら若しないとすればそれは育ち難くないけれど関連する; fact19 -> int10: もし仮にあの襤褸布が身体的自己だとするとうら若しないけれど漏れ無い;
$facts$ = fact1: その十九日付けは育ち難くない fact2: もしもあの襤褸布が野良犬でないとしたらその作者は関連するということはない fact3: あの襤褸布は訓練・指導でない fact4: もしもあの襤褸布は前駆物質なら「その十九日付けは生き生きしなくてセット出来るということはない」ということは偽である fact5: もしもあの襤褸布が野良犬でないとするとその作者は野良犬であるがしかし関連しない fact6: 「その十九日付けは成長しないし更に身体的自己だということはない」ということは誤りであるならばあの襤褸布は身体的自己だ fact7: もしもあの襤褸布が訓練・指導であるしその上前駆物質であるとしたらその作者は野良犬でない fact8: あの襤褸布が前駆物質だということはないならばそれは訓練・指導でない fact9: もしあの襤褸布は野良犬だとすると「その作者は訓練・指導であるけれどそれは生き生きしない」ということは誤りだ fact10: 「その十九日付けは生き生きする一方でセット出来ない」ということは偽である fact11: 仮にあの襤褸布は前駆物質であるならば「その十九日付けは生き生きしないけれどセット出来る」ということは成り立たない fact12: もし何らかの物は身体的自己であるならばそれはうら若しないけど漏れ無い fact13: 育ち難いということはないものは訓練・指導であるし前駆物質である fact14: ある物がうら若しないとしたら育ち難くないけれど関連する fact15: あの襤褸布が前駆物質だということはないなら野良犬でなくて更に訓練・指導でない fact16: もし仮にその十九日付けが育ち難くないならば生き生きしないしさらにセット出来るということはない fact17: あの襤褸布は前駆物質であるとすれば「その十九日付けは生き生きするけどセット出来ない」ということは誤っている ; $hypothesis$ = 「その作者は野良犬である」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの襤褸布は前駆物質である」ということは成り立つ; fact4 & assump1 -> int1: 「「その十九日付けは生き生きしないしそれはセット出来ない」ということは嘘であるということはない」ということは成り立たない; fact16 & fact1 -> int2: その十九日付けは生き生きしなくてその上セット出来ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの襤褸布は前駆物質でない; int4 & fact15 -> int5: 「あの襤褸布は野良犬でなくておまけに訓練・指導でない」ということは成り立つ; int5 -> int6: あの襤褸布は野良犬でない; int6 & fact5 -> int7: その作者は野良犬である一方で関連しない; int7 -> hypothesis; __PROVED__
事実1: その十九日付けは育ち難くない
事実2: もしもあの襤褸布が野良犬でないとしたらその作者は関連するということはない
事実3: あの襤褸布は訓練・指導でない
事実4: もしもあの襤褸布は前駆物質なら「その十九日付けは生き生きしなくてセット出来るということはない」ということは偽である
事実5: もしもあの襤褸布が野良犬でないとするとその作者は野良犬であるがしかし関連しない
事実6: 「その十九日付けは成長しないし更に身体的自己だということはない」ということは誤りであるならばあの襤褸布は身体的自己だ
事実7: もしもあの襤褸布が訓練・指導であるしその上前駆物質であるとしたらその作者は野良犬でない
事実8: あの襤褸布が前駆物質だということはないならばそれは訓練・指導でない
事実9: もしあの襤褸布は野良犬だとすると「その作者は訓練・指導であるけれどそれは生き生きしない」ということは誤りだ
事実10: 「その十九日付けは生き生きする一方でセット出来ない」ということは偽である
事実11: 仮にあの襤褸布は前駆物質であるならば「その十九日付けは生き生きしないけれどセット出来る」ということは成り立たない
事実12: もし何らかの物は身体的自己であるならばそれはうら若しないけど漏れ無い
事実13: 育ち難いということはないものは訓練・指導であるし前駆物質である
事実14: ある物がうら若しないとしたら育ち難くないけれど関連する
事実15: あの襤褸布が前駆物質だということはないなら野良犬でなくて更に訓練・指導でない
事実16: もし仮にその十九日付けが育ち難くないならば生き生きしないしさらにセット出来るということはない
事実17: あの襤褸布は前駆物質であるとすれば「その十九日付けは生き生きするけどセット出来ない」ということは誤っている

仮説: 「その作者は野良犬である」ということは本当である
1. 仮定1: 以下のように仮定する。「あの襤褸布は前駆物質である」ということは成り立つ
2. 事実4と仮定1から、推論1: "「「その十九日付けは生き生きしないしそれはセット出来ない」ということは嘘であるということはない」ということは成り立たない"が導かれる
3. 事実16と事実1から、推論2: "その十九日付けは生き生きしなくてその上セット出来ない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの襤褸布は前駆物質でない"が導かれる
6. 推論4と事実15から、推論5: "「あの襤褸布は野良犬でなくておまけに訓練・指導でない」ということは成り立つ"が導かれる
7. 推論5から、推論6: "あの襤褸布は野良犬でない"が導かれる
8. 推論6と事実5から、推論7: "その作者は野良犬である一方で関連しない"が導かれる
9. 推論7から、仮説が導かれる

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