その繁殖障害は紫紅色だ
fact1: 三万双合同結婚式は物悲しくないしそれに労働界でない fact2: もしもその繁殖障害がパプリカだとすると紫紅色である fact3: 「その繁殖障害は引き継ぐ」ということは成り立つ fact4: その繁殖障害が物悲しいということはないならあの社会的損益計算書は姉らしいということはない一方でパプリカだ fact5: その繁殖障害は嘘付ける fact6: 「その援交は嫌味ったらしくないけど忘れ易い」ということは成り立たないならその繁殖障害は嫌味ったらしくない fact7: もしその繁殖障害が動かし難いとするとそれは密集市街地である fact8: 仮にこの酸素濃度が物悲しいならその援交は姉らしい fact9: 姉らしいということはないものはパプリカであるならばそれは紫紅色だ fact10: 姉らしいものは紫紅色でないかパプリカであるかもしくは両方ともである fact11: そのブロスはパプリカである fact12: この苦境はパプリカである fact13: このアイコンは紫紅色だ fact14: もし仮にその繁殖障害がトマト味だとしたらそれは三万双合同結婚式である fact15: その繁殖障害は演習課題だ fact16: 嫌味ったらしくない物はトマト味だしさらに答え難い fact17: その繁殖障害はパプリカである fact18: その繁殖障害は返りらしい fact19: そのアンペイド・ワークが尋ぬならスケッチする fact20: 仮にそのオフセット座標がパプリカだとするとＴＲＡＢである
fact2 & fact17 -> hypothesis;
fact2 & fact17 -> hypothesis;
その繁殖障害は紫紅色でない
fact21 -> int1: もしもその援交が姉らしいとするとそれは紫紅色でないかあるいはパプリカであるかまたは両方だ;
$facts$ = fact1: 三万双合同結婚式は物悲しくないしそれに労働界でない fact2: もしもその繁殖障害がパプリカだとすると紫紅色である fact3: 「その繁殖障害は引き継ぐ」ということは成り立つ fact4: その繁殖障害が物悲しいということはないならあの社会的損益計算書は姉らしいということはない一方でパプリカだ fact5: その繁殖障害は嘘付ける fact6: 「その援交は嫌味ったらしくないけど忘れ易い」ということは成り立たないならその繁殖障害は嫌味ったらしくない fact7: もしその繁殖障害が動かし難いとするとそれは密集市街地である fact8: 仮にこの酸素濃度が物悲しいならその援交は姉らしい fact9: 姉らしいということはないものはパプリカであるならばそれは紫紅色だ fact10: 姉らしいものは紫紅色でないかパプリカであるかもしくは両方ともである fact11: そのブロスはパプリカである fact12: この苦境はパプリカである fact13: このアイコンは紫紅色だ fact14: もし仮にその繁殖障害がトマト味だとしたらそれは三万双合同結婚式である fact15: その繁殖障害は演習課題だ fact16: 嫌味ったらしくない物はトマト味だしさらに答え難い fact17: その繁殖障害はパプリカである fact18: その繁殖障害は返りらしい fact19: そのアンペイド・ワークが尋ぬならスケッチする fact20: 仮にそのオフセット座標がパプリカだとするとＴＲＡＢである ; $hypothesis$ = その繁殖障害は紫紅色だ ; $proof$ = 
fact2 & fact17 -> hypothesis; __PROVED__
事実1: 三万双合同結婚式は物悲しくないしそれに労働界でない
事実2: もしもその繁殖障害がパプリカだとすると紫紅色である
事実3: 「その繁殖障害は引き継ぐ」ということは成り立つ
事実4: その繁殖障害が物悲しいということはないならあの社会的損益計算書は姉らしいということはない一方でパプリカだ
事実5: その繁殖障害は嘘付ける
事実6: 「その援交は嫌味ったらしくないけど忘れ易い」ということは成り立たないならその繁殖障害は嫌味ったらしくない
事実7: もしその繁殖障害が動かし難いとするとそれは密集市街地である
事実8: 仮にこの酸素濃度が物悲しいならその援交は姉らしい
事実9: 姉らしいということはないものはパプリカであるならばそれは紫紅色だ
事実10: 姉らしいものは紫紅色でないかパプリカであるかもしくは両方ともである
事実11: そのブロスはパプリカである
事実12: この苦境はパプリカである
事実13: このアイコンは紫紅色だ
事実14: もし仮にその繁殖障害がトマト味だとしたらそれは三万双合同結婚式である
事実15: その繁殖障害は演習課題だ
事実16: 嫌味ったらしくない物はトマト味だしさらに答え難い
事実17: その繁殖障害はパプリカである
事実18: その繁殖障害は返りらしい
事実19: そのアンペイド・ワークが尋ぬならスケッチする
事実20: 仮にそのオフセット座標がパプリカだとするとＴＲＡＢである

仮説: その繁殖障害は紫紅色だ
1. 事実2と事実17から、仮説が導かれる

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