この記号列パターンは言い添えるかもしくはそれは陰気臭くないかどちらもだ
fact1: この記号列パターンは真ん丸い fact2: もしこの記号列パターンが真ん丸いとすれば言い添えるかそれは陰気臭いということはないかあるいは両方ともである
$facts$ = fact1: この記号列パターンは真ん丸い fact2: もしこの記号列パターンが真ん丸いとすれば言い添えるかそれは陰気臭いということはないかあるいは両方ともである ; $hypothesis$ = この記号列パターンは言い添えるかもしくはそれは陰気臭くないかどちらもだ ; $proof$ = 
事実1: この記号列パターンは真ん丸い
事実2: もしこの記号列パターンが真ん丸いとすれば言い添えるかそれは陰気臭いということはないかあるいは両方ともである

仮説: この記号列パターンは言い添えるかもしくはそれは陰気臭くないかどちらもだ