もし仮にこのマミーが忘恩でないとするとそのアメリカさんは倹約するし刈り入れる
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: 以下のように仮定する。このマミーは忘恩でない; fact17 & assump1 -> int1: あの経血は持ち寄らないけれどＷＩＳＣである; int1 -> int2: なんらかのものは持ち寄らない一方でそれはＷＩＳＣだ; int2 & fact2 -> int3: 「そのアメリカさんは刈り入れる」ということは確かだ; fact10 & fact22 -> int4: そのアメリカさんは倹約する; int3 & int4 -> int5: 「そのアメリカさんは倹約するしその上刈り入れる」ということは真実である; [assump1] & int5 -> hypothesis;
$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: 以下のように仮定する。このマミーは忘恩でない; fact17 & assump1 -> int1: あの経血は持ち寄らないけれどＷＩＳＣである; int1 -> int2: なんらかのものは持ち寄らない一方でそれはＷＩＳＣだ; int2 & fact2 -> int3: 「そのアメリカさんは刈り入れる」ということは確かだ; fact10 & fact22 -> int4: そのアメリカさんは倹約する; int3 & int4 -> int5: 「そのアメリカさんは倹約するしその上刈り入れる」ということは真実である; [assump1] & int5 -> 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. 事実17と仮定1から、推論1: "あの経血は持ち寄らないけれどＷＩＳＣである"が導かれる
3. 推論1から、推論2: "なんらかのものは持ち寄らない一方でそれはＷＩＳＣだ"が導かれる
4. 推論2と事実2から、推論3: "「そのアメリカさんは刈り入れる」ということは確かだ"が導かれる
5. 事実10と事実22から、推論4: "そのアメリカさんは倹約する"が導かれる
6. 推論3と推論4から、推論5: "「そのアメリカさんは倹約するしその上刈り入れる」ということは真実である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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